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 /build.bat | |
| parent | b11fe5d0b477c58524ed3fc02ede6f13acef9622 (diff) | |
| download | Nim-382a614a61a8be3957f861b58412d0d785249820.tar.gz | |
don't take into account the user config file when building sources
Diffstat (limited to 'build.bat')
| -rwxr-xr-x | build.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build.bat b/build.bat index 6d28dd4c9..494c37497 100755 --- a/build.bat +++ b/build.bat @@ -2,7 +2,7 @@ REM Generated by niminst SET CC=gcc SET LINKER=gcc -SET COMP_FLAGS=-w -g3 -O0 -O3 -fno-strict-aliasing +SET COMP_FLAGS=-w -O3 -fno-strict-aliasing SET LINK_FLAGS= REM call the compiler: |