diff --git a/Makefile.rules b/Makefile.rules index 8ecff4f85e..e4932cee8d 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -1080,7 +1080,7 @@ testbugfix: all tee `date -u +dev/log/testbugfix2_%Y-%m-%d-%H-%M` ) # -check: +check: all $(TESTGAP) tst/testinstall.g LIBGAPTESTS := $(addprefix tst/testlibgap/,basic api wscreate wsload)