From 3050f7adee02d83cc11e5cd802a71f957607e3e2 Mon Sep 17 00:00:00 2001 From: NunoSempere Date: Sun, 21 May 2023 01:34:02 -0400 Subject: [PATCH] tweak nim makefile --- wip/nim/makefile | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/wip/nim/makefile b/wip/nim/makefile index ec2929b6..16ac3211 100644 --- 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)