diff options
| author | Rechi <Rechi@users.noreply.github.com> | 2017-04-14 14:45:14 +0200 |
|---|---|---|
| committer | Rechi <Rechi@users.noreply.github.com> | 2017-04-14 14:45:14 +0200 |
| commit | 160053286444c80cadacd0302a451d5dac50427b (patch) | |
| tree | 0dbeb24c85f302a267fa01a194a9bcc32b02ed23 /project | |
| parent | affdfe4e1ec6b2132e2f8fb58b45b777f9a35c47 (diff) | |
[windows] DownloadBuildDeps: remove possibility to set download path
Diffstat (limited to 'project')
| -rw-r--r-- | project/BuildDependencies/DownloadBuildDeps.bat | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/project/BuildDependencies/DownloadBuildDeps.bat b/project/BuildDependencies/DownloadBuildDeps.bat index cfadcf1c8e..331784ca09 100644 --- a/project/BuildDependencies/DownloadBuildDeps.bat +++ b/project/BuildDependencies/DownloadBuildDeps.bat @@ -19,12 +19,7 @@ IF EXIST lib rmdir lib /S /Q IF EXIST include rmdir include /S /Q IF EXIST %TMP_PATH% rmdir %TMP_PATH% /S /Q -IF $%1$ == $$ ( - SET DL_PATH="%BUILD_DEPS_PATH%\downloads" -) ELSE ( - SET DL_PATH="%1" -) - +SET DL_PATH="%BUILD_DEPS_PATH%\downloads" SET WGET=%BUILD_DEPS_PATH%\bin\wget SET ZIP=%BUILD_DEPS_PATH%\..\Win32BuildSetup\tools\7z\7za |