Quit GAP with non-zero exit code if processing init files fails

gap-system · Oct 31, 2022 · e6f4a7a · e6f4a7a
1 parent 45161ef
commit e6f4a7a
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/lib/init.g b/lib/init.g
@@ -965,17 +965,14 @@ BindGlobal( "ProcessInitFiles", function(initFiles)
                 PRINT_TO( "*errout*", "Reading file \"", f,
                     "\" has been aborted.\n");
             fi;
-            if i < Length (initFiles) then
-                PRINT_TO( "*errout*",
-                    "The remaining files or commands on the command line will not be read.\n" );
-            fi;
-            break;
+            QuitGap( 1 );
         elif status = false then
             if IsRecord(f) then
                 PRINT_TO( "*errout*", "Could not execute command \"", f.command, "\".\n" );
             else
                 PRINT_TO( "*errout*", "Could not read file \"", f, "\".\n" );
             fi;
+            QuitGap( 1 );
         fi;
     od;
 end );