commit 3050f7adee02d83cc11e5cd802a71f957607e3e2 parent 1ebc3ce7b9f0373a56387f730fb7147a8e8616aa Author: NunoSempere <nuno.sempere@protonmail.com> Date: Sun, 21 May 2023 01:34:02 -0400 tweak nim makefile Diffstat:
| M | wip/nim/makefile | | | 10 | +++++----- |
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/wip/nim/makefile b/wip/nim/makefile @@ -1,11 +1,11 @@ -SHELL := /bin/bash +SHELL := /bin/bash ## <= required to use time +VERBOSE=--verbosity:0 build: samples.nim - nim c --verbosity:0 samples.nim + nim c $(VERBOSE) samples.nim run: samples - ./samples --verbosity:0 + ./samples $(VERBOSE) examine: samples - # nim c --verbosity:0 --opt:speed -d:release -d:danger --checks:off samples.nim && time ./samples --verbosity:0 --checks:off - nim c -d:release samples.nim && time ./samples + nim c $(VERBOSE) -d:release samples.nim && time ./samples $(VERBOSE)