Allow things to continue if compilation fails

gap-packages · Aug 30, 2024 · 4c201a8 · 4c201a8
1 parent 641fc55
commit 4c201a8
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/gap/PackageManager.gi b/gap/PackageManager.gi
@@ -781,7 +781,12 @@ function(name, interactive...)
         for line in SplitString(pull.output, "\n") do
           Info(InfoPackageManager, 3, vc.cmd, ": ", line);
         od;
-        return (pull.code = 0) and PKGMAN_CompileDir(dir);
+        if pull.code = 0 then
+          PKGMAN_CompileDir(dir);
+          return true;
+        else
+          return false;
+        fi;
       else
         Info(InfoPackageManager, 1,
              "Uncommitted changes in ", vc.cmd, " repository");