Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/torch/distro.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSoumith Chintala <soumith@gmail.com>2017-03-01 04:34:48 +0300
committerGitHub <noreply@github.com>2017-03-01 04:34:48 +0300
commit3fd189488e22c2a2afd351d07e2a2080fa685b1b (patch)
treedf4e64cc64fc42ef1d6e95c3e4282fd42a1ba864
parent487ac9654b94d7270e441a4afb8afc458d67dd72 (diff)
parent00dbc29577c22918c798dec46aaceb45b1b4be18 (diff)
Merge pull request #209 from dhleeu/master
Restore current directory in batch
-rw-r--r--install-deps.bat2
1 files changed, 2 insertions, 0 deletions
diff --git a/install-deps.bat b/install-deps.bat
index 759a497..e80960a 100644
--- a/install-deps.bat
+++ b/install-deps.bat
@@ -415,10 +415,12 @@ echo shift>> %CMAKE_CMD%
echo cmake.exe .. -G "NMake Makefiles" %%*>> %CMAKE_CMD%
set TORCH_SETUP_FAIL=0
+cd %TORCH_DISTRO%
echo %ECHO_PREFIX% Setup succeed!
goto :END
:FAIL
+cd %TORCH_DISTRO%
echo %ECHO_PREFIX% Setup fail!
:END