sync

commit 5f602ec3bb0da9bac2b737ec16f8948f0d890e05
parent ff140aac909c77e7ec37e9d4630445c63fff67eb
Author: Christian Grothoff <christian@grothoff.org>
Date:   Sun, 18 Feb 2024 16:31:23 +0100

dump logs

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

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/contrib/ci/jobs/2-test/test.sh b/contrib/ci/jobs/2-test/test.sh
@@ -39,7 +39,7 @@ print_logs()
 	do
 	    echo "Printing ${LOGFILE}"
             echo "========BEGIN======"
-	    cat "${FAILURE}"
+	    cat "${LOGFILE}"
             echo "=========END======="
 	    echo "End of ${LOGFILE}"
 	done