diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/ci_generate.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci_generate.nim b/tools/ci_generate.nim index a8a80e026..46bc39470 100644 --- a/tools/ci_generate.nim +++ b/tools/ci_generate.nim @@ -42,7 +42,7 @@ triggers: proc genBuildExtras(echoRun, koch, nim: string): string = result = fmt""" -{echoRun} {nim} c --skipUserCfg --skipParentCfg --hints:off koch +{echoRun} {nim} c --noNimblePath --skipUserCfg --skipParentCfg --hints:off koch {echoRun} {koch} boot -d:release --skipUserCfg --skipParentCfg --hints:off {echoRun} {koch} tools --skipUserCfg --skipParentCfg --hints:off """ |