WIP

fingolfin · Jan 17, 2024 · 8987f68 · 8987f68
1 parent fb2e6b2
commit 8987f68
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 5 deletions.
diff --git a/.github/workflows/cross.yml b/.github/workflows/cross.yml
@@ -138,7 +138,7 @@ jobs:
         run: make -j2 V=1
 
       - name: Fixup sysinfo.gap
-        run: make SYSINFO_CC=gcc SYSINFO_CXX=g++ sysinfo.gap
+        run: rm sysinfo.gap && make SYSINFO_CC=gcc SYSINFO_CXX=g++ sysinfo.gap
 
       - name: Download required GAP packages
         run: make bootstrap-pkg-minimal

diff --git a/dev/gaptest.expect b/dev/gaptest.expect
@@ -1,4 +1,4 @@
-set timeout 10
+set timeout 30
 
 # from https://serverfault.com/a/981762
 expect_before {

diff --git a/dev/gaptest2.expect b/dev/gaptest2.expect
@@ -1,4 +1,4 @@
-set timeout 10
+set timeout 30
 
 # from https://serverfault.com/a/981762
 expect_before {

diff --git a/etc/ffgen.c b/etc/ffgen.c
@@ -144,8 +144,7 @@ void emit_code(FILE * dest, int header)
 
 void emit_code_to_file_by_basename(int header, char * basename)
 {
-    const len = strlen(basename) + 3;
-    char * filename = malloc(len);
+    char * filename = malloc(strlen(basename) + 3);
     strcpy(filename, basename);
     strcat(filename, header ? ".h" : ".c");
     FILE * f = fopen(filename, "w");