CI: dump sysinfo.gap in testmockpkg for debugging

gap-system · Jul 1, 2022 · fe857bd · fe857bd
1 parent 8cc9b20
commit fe857bd
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/dev/ci.sh b/dev/ci.sh
@@ -236,6 +236,8 @@ GAPInput
     ;;
 
   testmockpkg)
+    # for debugging it is useful to know what sysinfo.gap contains at this point
+    cat "$BUILDDIR/sysinfo.gap"
     # test building a package kernel extension
     cd "$SRCDIR/tst/mockpkg"
     ./configure "$BUILDDIR"