wip-nofib minor fix in nofib/stdoutdiff.sh

tweag · May 20, 2020 · 28e58a4 · 28e58a4
1 parent 10c5ac6
commit 28e58a4
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/asterius/nofib/stdoutdiff.sh b/asterius/nofib/stdoutdiff.sh
@@ -29,15 +29,17 @@ for f in ./*/*/*.ghc.stdout; do
     fi
   fi
 
+  testfolder=${testname%/*}
+
   # Print results
   if [[ "$stdout_ok" == "missing" || "$stderr_ok" == "missing" ]]; then
-    echo "${testname} ( MISSING )"
+    echo "${testfolder} ( MISSING )"
   elif [[ "$stdout_ok" == "true" && "$stderr_ok" == "true" ]]; then
-    echo "${testname} ( OK )"
+    echo "${testfolder} ( OK )"
   elif [[ "$stderr_ok" == "false" ]]; then
-    echo "${testname} ( STDERR MISMATCH )"
+    echo "${testfolder} ( STDERR MISMATCH )"
   elif [[ "$stdout_ok" == "false" ]]; then
-    echo "${testname} ( STDOUT MISMATCH )"
+    echo "${testfolder} ( STDOUT MISMATCH )"
   fi
 
 done