Skip to content

Commit

Permalink
HACK to maybe fix CI???
Browse files Browse the repository at this point in the history
This change makes it match more closely what the previous code did. No idea how it might exaplin that hangs, though
  • Loading branch information
fingolfin committed Jan 4, 2025
1 parent 558ff48 commit 794f344
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/gap.c
Original file line number Diff line number Diff line change
Expand Up @@ -1457,7 +1457,7 @@ void InitializeGap (

// make command line available to GAP level
KernelArgs = NEW_PLIST_IMM(T_PLIST, *pargc);
for (int i = 0; i < *pargc; i++) {
for (int i = 0; argv[i]; i++) {
PushPlist(KernelArgs, MakeImmString(argv[i]));
}

Expand Down

0 comments on commit 794f344

Please sign in to comment.