From 873a4f44f56868fddc3720cf342b7ed9ab067f30 Mon Sep 17 00:00:00 2001
From: Georgios Karachalias <george.karachalias@gmail.com>
Date: Wed, 20 May 2020 09:44:21 +0200
Subject: [PATCH] wip-nofib minor fix in nofib/stdoutdiff.sh

---
 asterius/nofib/stdoutdiff.sh | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/asterius/nofib/stdoutdiff.sh b/asterius/nofib/stdoutdiff.sh
index 9e25e0d010..5c5d6a8829 100755
--- 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