From 201d9d4056b6a1eeb182fdf20eb2db85cf37ff1b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C8=98tefan=20Talpalaru?= Date: Tue, 1 Jun 2021 15:22:21 +0200 Subject: [PATCH] Makefile: the "+" that makes a difference --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 75922b631..100ccef63 100644 --- a/Makefile +++ b/Makefile @@ -296,7 +296,7 @@ ifneq ($(USE_LIBBACKTRACE), 0) build/generate_makefile: | libbacktrace endif build/generate_makefile: tools/generate_makefile.nim | deps-common - echo -e $(BUILD_MSG) "$@" && \ + + echo -e $(BUILD_MSG) "$@" && \ $(ENV_SCRIPT) nim c -o:$@ $(NIM_PARAMS) tools/generate_makefile.nim && \ echo -e $(BUILD_END_MSG) "$@"