echo "$*" | sed 's,[^ ]*/,,g;s/\.xml//;y/ /_/'
}
+summary() {
+ sed -n '\!^\[main/INFO\] ,----\[ Results \]!,${
+ /send\|recv\|wall clock\|Simulation succeeded/d;p;
+ }' "$1"
+}
+
for plat in "${PLATFORMS[@]}"; do
tmp=$(basename "$plat" ".xml")
plat_output="$RESULTS/plat_$tmp"
log "Run: ${cmd[@]}"$'\n'"... &> $out"
if [ $overwrite = 0 -a -e "$out" ]; then
log "already run !"
- tail -n4 "$out"
+ summary "$out"
continue
fi
if [ $debug = 1 ]; then
log "skipped (dry-run)"
else
echo "# ${cmd[@]}" > "$out"
- "${cmd[@]}" >> "$out" 2>&1
- tail -n4 "$out"
+ if "${cmd[@]}" >> "$out" 2>&1; then
+ summary "$out"
+ else
+ grep -v '/INFO\]' "$out"
+ fi
fi
done
done