diff options
author | Kacper Michajłow <kasper93@gmail.com> | 2015-11-15 22:35:35 +0300 |
---|---|---|
committer | Kacper Michajłow <kasper93@gmail.com> | 2015-11-16 04:05:08 +0300 |
commit | 89e13df80fe1872a29288df950d3c2865648ff76 (patch) | |
tree | a5785223aa7901f86218a72b2a440bd19690d7a2 /build.bat | |
parent | ab4c6938002c3c583f4778579ba67dfc27ddb0e6 (diff) |
build.bat: Do not allow both /lite and /all switch.
Diffstat (limited to 'build.bat')
-rwxr-xr-x | build.bat | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -42,7 +42,7 @@ FOR %%G IN (%ARG%) DO ( IF /I "%%G" == "Win32" SET "PPLATFORM=Win32" & SET /A ARGPL+=1
IF /I "%%G" == "x86" SET "PPLATFORM=Win32" & SET /A ARGPL+=1
IF /I "%%G" == "x64" SET "PPLATFORM=x64" & SET /A ARGPL+=1
- IF /I "%%G" == "All" SET "CONFIG=All" & SET /A ARGC+=1
+ IF /I "%%G" == "All" SET "CONFIG=All" & SET /A ARGC+=1 & SET "NO_LITE=True"
IF /I "%%G" == "Main" SET "CONFIG=Main" & SET /A ARGC+=1 & SET "NO_INST=True" & SET "NO_ZIP=True"
IF /I "%%G" == "Filters" SET "CONFIG=Filters" & SET /A ARGC+=1 & SET "NO_INST=True" & SET "NO_LITE=True"
IF /I "%%G" == "Filter" SET "CONFIG=Filters" & SET /A ARGC+=1 & SET "NO_INST=True" & SET "NO_LITE=True"
|