diff options
| author | rzhxeo <rzhxeo@users.noreply.github.com> | 2013-09-30 21:39:58 -0700 |
|---|---|---|
| committer | rzhxeo <rzhxeo@users.noreply.github.com> | 2013-09-30 21:39:58 -0700 |
| commit | c0de39e6d42d8de6a77768b2a96570fd8df8ad36 (patch) | |
| tree | ef10e4ee36c43121490ae5bf89275c1793a30f88 /devscripts/release.sh | |
| parent | a921f40799d2ecb4be53b3241d2dbfc80f804d73 (diff) | |
| parent | 722076a123c60ed6d5a978c4bc2609f46c8e3ee9 (diff) | |
Merge pull request #2 from rg3/master
Update
Diffstat (limited to 'devscripts/release.sh')
| -rwxr-xr-x | devscripts/release.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devscripts/release.sh b/devscripts/release.sh index 62c68a6cf..796468b4b 100755 --- a/devscripts/release.sh +++ b/devscripts/release.sh @@ -55,8 +55,8 @@ git push origin "$version" /bin/echo -e "\n### OK, now it is time to build the binaries..." REV=$(git rev-parse HEAD) make youtube-dl youtube-dl.tar.gz -wget "http://jeromelaheurte.net:8142/download/rg3/youtube-dl/youtube-dl.exe?rev=$REV" -O youtube-dl.exe || \ - wget "http://jeromelaheurte.net:8142/build/rg3/youtube-dl/youtube-dl.exe?rev=$REV" -O youtube-dl.exe +read -p "VM running? (y/n) " -n 1 +wget "http://localhost:8142/build/rg3/youtube-dl/youtube-dl.exe?rev=$REV" -O youtube-dl.exe mkdir -p "build/$version" mv youtube-dl youtube-dl.exe "build/$version" mv youtube-dl.tar.gz "build/$version/youtube-dl-$version.tar.gz" |