From c717e165c9792136bde2e04cf697f03914a1db11 Mon Sep 17 00:00:00 2001 From: Jaremy Creechley Date: Wed, 12 Jul 2023 18:45:48 -0700 Subject: [PATCH] compare speed --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 5006316..a507610 100644 --- a/Makefile +++ b/Makefile @@ -63,7 +63,7 @@ update: | update-common # Builds and run a part of the test suite test: | build deps echo -e $(BUILD_MSG) "$@" && \ - $(ENV_SCRIPT) nim test $(NIM_PARAMS) config.nims + $(ENV_SCRIPT) nim testAll $(NIM_PARAMS) config.nims # usual cleaning clean: | clean-common