show the errors if there are some

(Funny. I got exit code 0 locally before this change.)
gap-system · Nov 9, 2024 · 51a6ee2 · 51a6ee2
1 parent 9ceb10d
commit 51a6ee2
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/doc/make_doc.in b/doc/make_doc.in
@@ -78,5 +78,10 @@ Print(outputstring);
 outputstring:= ReplacedString(outputstring, "\c", "");;
 errors:= Filtered(SplitString(outputstring, "\n"),
            x -> StartsWith(x, "#W ") and x <> "#W There are overfull boxes:");;
-QuitGap(Length(errors) = 0);
+if Length(errors) = 0 then
+  QuitGap(true);
+else
+  Print(errors, "\n");
+  QuitGap(false);
+fi;
 EOF