diff --git a/tests/manual_test_lib.sh b/tests/manual_test_lib.sh index c2dcfed8e1c177fae4caf84b04117c8cdb553a00..e279a4f101482333b0ca99e7962f72683a158564 100755 --- a/tests/manual_test_lib.sh +++ b/tests/manual_test_lib.sh @@ -250,6 +250,10 @@ run_bench_prog_only() status=$? echo $status >orig_status + cat orig_status + + cat test_status + log_name=`echo "BENCH_$BENCH $cmd_args" | sed -e 's/ /_/g' -e 's/\//#/g'` log_results $log_name orig_out orig_error orig_status