diff options
author | Rui Guo <guorui.xt@gmail.com> | 2016-10-31 17:43:35 +0300 |
---|---|---|
committer | Rui Guo <guorui.xt@gmail.com> | 2016-10-31 17:43:35 +0300 |
commit | a57322da496891746eef6932c78ea7f849641166 (patch) | |
tree | 388173a398c5a0c83f44d0fe06d02aec7e7f3bdd /uninstall.bat | |
parent | 2917d2b8f4d65253681d9bac0e397cc1fed6c061 (diff) |
fix && improvement: rc1 for official master
Diffstat (limited to 'uninstall.bat')
-rw-r--r-- | uninstall.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/uninstall.bat b/uninstall.bat index 53a549b..ed6425a 100644 --- a/uninstall.bat +++ b/uninstall.bat @@ -16,9 +16,9 @@ echo %ECHO_PREFIX% cleaning temporary compilation files call clean.bat echo %ECHO_PREFIX% deleting Torch7 installation directory -rmdir /s %TORCH_INSTALL_DIR% +rmdir /s /q %TORCH_INSTALL_DIR% -echo %ECHO_PREFIX% deleting Torch7 conda env (even if env is removed, packages will stil be kept in conda/pkgs) +echo %ECHO_PREFIX% deleting Torch7 conda environment (even if env is removed, packages will stil be kept in conda/pkgs) conda env remove -n %TORCH_CONDA_ENV% --yes echo %ECHO_PREFIX% Torch7 has been uninstalled |