aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorj-james2020-11-06 20:12:13 +0000
committerj-james2020-11-06 20:12:13 +0000
commit439ca8cb5a164fd65ca2ed2bbbbf8926974e3d86 (patch)
tree79a2367c9308daeba4678192181e5cd50efef93d
parent3eb14df9811583e4c4034f76604895cf79f311f1 (diff)
Compile src/pakku with -d:nimWorkaround14447
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index b224ff2..a385e41 100644
--- a/Makefile
+++ b/Makefile
@@ -119,6 +119,7 @@ src/pakku: src/main.nim $(shell find src -name \*.nim)
@echo "NIM: $@"
@nim c ${NIM_OPTIONS} \
--nimcache:"${NIM_CACHE_DIR}/main" \
+ -d:nimWorkaround14447 \
-o:"$@" "$<"
clean: