From 14ecebe47cdd21d40edff0fcde09eab37d22cbf3 Mon Sep 17 00:00:00 2001 From: Jelte Fennema-Nio Date: Fri, 19 Jan 2024 17:11:29 +0100 Subject: [PATCH] Fix problems with make check (#7433) This fixes two problems: 1. Allow `make check -j20` to work, by disabling parallelism. This was reported by a user in #7432 2. Actually run all the tests by forwarding to `make check` instead of `check-full`, because confusingly `check-full` does not run all the tests. --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index e42d0ffd3..77d8cad3e 100644 --- a/Makefile +++ b/Makefile @@ -61,6 +61,7 @@ check-style: # depend on install-all so that downgrade scripts are installed as well check: all install-all - $(MAKE) -C src/test/regress check-full + # explicetely does not use $(MAKE) to avoid parallelism + make -C src/test/regress check .PHONY: all check clean install install-downgrades install-all