- echo "# ${cmd[@]}" > "$out"
- if "${cmd[@]}" >> "$out" 2>&1; then
- summary "$out"
- else
- grep -v '/INFO\]' "$out"
- fi
-### FIXME : make this step optional
-gzip --best "$out"
+ grep -v '/INFO\]' "$out"
+ fi
+ if [ $compress = 1 ]; then
+ log "Compress output file."
+ gzip --best "$out"