hack-debug

gap-system · Mar 8, 2022 · 57af336 · 57af336
1 parent e1ff317
commit 57af336
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-all.yml b/.github/workflows/test-all.yml
@@ -74,7 +74,7 @@ jobs:
           echo "::endgroup::"
 
           echo "::group::configure"
-          ./configure $GAP_CONFIGFLAGS
+          ./configure --enable-debug  # FIXME/TODO/HACK: --enable-debug to fix mysterious crashes
           echo "::endgroup::"
 
           echo "::group::make"