From d5cf3acb7a45b7e46bf51dc6a66030d7bc986597 Mon Sep 17 00:00:00 2001 From: pommicket Date: Mon, 15 Sep 2025 18:54:37 -0400 Subject: Interpretation tests, various bugfixes --- Makefile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 8d8474b..65a7055 100644 --- a/Makefile +++ b/Makefile @@ -3,6 +3,9 @@ BUILD_DIR ?= $(PROFILE) __build: mkdir -p $(BUILD_DIR) P=`pwd` && cd $(BUILD_DIR) && cmake -DCMAKE_BUILD_TYPE=$(PROFILE) -DCMAKE_EXPORT_COMPILE_COMMANDS=1 $$P - make -j16 -C $(BUILD_DIR) + $(MAKE) -C $(BUILD_DIR) -.PHONY: __build +test: __build + valgrind --exit-on-first-error=yes --error-exitcode=1 $(BUILD_DIR)/tests + +.PHONY: __build test -- cgit v1.2.3