diff options
author | James Donald <jdonald@leapmotion.com> | 2017-04-30 06:43:56 +0300 |
---|---|---|
committer | James Donald <jdonald@leapmotion.com> | 2017-04-30 06:43:56 +0300 |
commit | 4156d660d6bca77bbd6ed6860959b4a68f55e6d7 (patch) | |
tree | 970f5854e99022fe4dcfd5541c733506d6523658 | |
parent | 218f36d5fc50b9e4f6b6c8d1aa28e704d7d275f5 (diff) |
Add a check for spaces in pwd
-rwxr-xr-x | install.sh | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -4,6 +4,12 @@ SKIP_RC=0 BATCH_INSTALL=0 THIS_DIR=$(cd $(dirname $0); pwd) +if [[ "$THIS_DIR" == *" "* ]]; then + echo "$THIS_DIR: Torch cannot install to a path containing whitespace. +Please try a different path, one without any spaces. +" + exit 1 +fi PREFIX=${PREFIX:-"${THIS_DIR}/install"} TORCH_LUA_VERSION=${TORCH_LUA_VERSION:-"LUAJIT21"} # by default install LUAJIT21 |