sync

commit ff140aac909c77e7ec37e9d4630445c63fff67eb
parent eb697adb11ee97a5b42413ce7154021ec222a564
Author: Christian Grothoff <christian@grothoff.org>
Date:   Sun, 18 Feb 2024 16:26:02 +0100

dump logs

Diffstat:
M
contrib/ci/jobs/2-test/test.sh
 | 
6
++++++

1 file changed, 6 insertions(+), 0 deletions(-)
diff --git a/contrib/ci/jobs/2-test/test.sh b/contrib/ci/jobs/2-test/test.sh
@@ -29,13 +29,19 @@ print_logs()
 		for FAILURE in $(grep '^FAIL:' ${i} | cut -d' ' -f2)
 		do
 			echo "Printing ${FAILURE}.log"
+                        echo "========BEGIN======"
 			cat "$(dirname $i)/${FAILURE}.log"
+                        echo "=========END======="
+			echo "End of ${FAILURE}.log"
 		done
         done
 	for LOGFILE in src/testing/*.log
 	do
 	    echo "Printing ${LOGFILE}"
+            echo "========BEGIN======"
 	    cat "${FAILURE}"
+            echo "=========END======="
+	    echo "End of ${LOGFILE}"
 	done
 }