From cc48d62c222eb5ed3e1e5602179a5aaca10d1b26 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C8=98tefan=20Talpalaru?= Date: Wed, 12 Feb 2020 01:11:00 +0100 Subject: [PATCH] more verbosity --- scripts/build_nim.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/build_nim.sh b/scripts/build_nim.sh index 6d0af01..c7aba29 100755 --- a/scripts/build_nim.sh +++ b/scripts/build_nim.sh @@ -118,7 +118,7 @@ build_nim() { fi sed \ -e 's/koch$/--warnings:off --hints:off koch/' \ - -e 's/koch boot/koch boot --warnings:off --hints:off -d:disableMarchNative/' \ + -e 's/koch boot/koch boot --listCmd -d:disableMarchNative/' \ -e 's/koch tools/koch --stable tools --warnings:off --hints:off/' \ build_all.sh > build_all_custom.sh sh build_all_custom.sh