diff options
author | Zahary Karadjov <zahary@gmail.com> | 2012-06-14 19:58:47 +0300 |
---|---|---|
committer | Zahary Karadjov <zahary@gmail.com> | 2012-06-14 20:03:24 +0300 |
commit | 382a614a61a8be3957f861b58412d0d785249820 (patch) | |
tree | fed2b297c7773e7757bbcfaae0bcad7d56c041f7 /tools | |
parent | b11fe5d0b477c58524ed3fc02ede6f13acef9622 (diff) | |
download | Nim-382a614a61a8be3957f861b58412d0d785249820.tar.gz |
don't take into account the user config file when building sources
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/niminst/niminst.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/niminst/niminst.nim b/tools/niminst/niminst.nim index 9927d5bcd..f66bad1f4 100755 --- a/tools/niminst/niminst.nim +++ b/tools/niminst/niminst.nim @@ -391,7 +391,7 @@ proc srcdist(c: var TConfigData) = if existsDir(dir): removeDir(dir) createDir(dir) var cmd = ("nimrod compile -f --symbolfiles:off --compileonly " & - "--gen_mapping --cc:gcc" & + "--gen_mapping --cc:gcc --skipUserCfg" & " --os:$# --cpu:$# $# $#") % [c.oses[osA-1], c.cpus[cpuA-1], c.nimrodArgs, changeFileExt(c.infile, "nim")] |