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:
authorDonghyeon Lee <dhleeu@gmail.com>2017-03-01 04:04:57 +0300
committerDonghyeon Lee <dhleeu@gmail.com>2017-03-01 04:04:57 +0300
commit00dbc29577c22918c798dec46aaceb45b1b4be18 (patch)
tree5d4d73d20a1b44deac1b15f13818aeb052d78e0e
parentd03a42834bb1b674495b0c42de1716b66cc388f1 (diff)
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