From 09a9e5c2311cf14b5e4f25426e758c0bfe7dca7f Mon Sep 17 00:00:00 2001 From: ethdev zug Date: Tue, 14 Apr 2015 22:04:42 +0100 Subject: [PATCH] getstuff.bat, fixed #1621 --- extdep/getstuff.bat | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/extdep/getstuff.bat b/extdep/getstuff.bat index 70cf51264..e083a97ce 100644 --- a/extdep/getstuff.bat +++ b/extdep/getstuff.bat @@ -22,10 +22,11 @@ set eth_name=%1 set eth_version=%2 cd download -curl -o %eth_name%-%eth_version%.tar.gz %eth_server%/%eth_name%-%eth_version%.tar.gz -tar -zxvf %eth_name%-%eth_version%.tar.gz + +if not exist %eth_name%-%eth_version%.tar.gz curl -o %eth_name%-%eth_version%.tar.gz %eth_server%/%eth_name%-%eth_version%.tar.gz +if not exist %eth_name%-%eth_version% tar -zxvf %eth_name%-%eth_version%.tar.gz cmake -E copy_directory %eth_name%-%eth_version% ..\install\windows + cd ..\download goto :EOF -