diff --git a/lib/test.gi b/lib/test.gi index 7cb01dfdd5..4a5f3e7ea9 100644 --- a/lib/test.gi +++ b/lib/test.gi @@ -136,6 +136,12 @@ InstallGlobalFunction(RunTests, function(arg) t := Runtime() - t; CloseStream(fres); CloseStream(s); + # check whether the user aborted by pressing ctrl-C + if StartsWith(res, "Error, user interrupt") then + BreakOnError := breakOnError; + Error("user interrupt"); + BreakOnError := opts.breakOnError; + fi; Add(cmp, res); Add(times, t); od;