diff options
Diffstat (limited to 'meta/files')
| -rw-r--r-- | meta/files/toolchain-shar-extract.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/meta/files/toolchain-shar-extract.sh b/meta/files/toolchain-shar-extract.sh index 434510470b..66c017f50d 100644 --- a/meta/files/toolchain-shar-extract.sh +++ b/meta/files/toolchain-shar-extract.sh @@ -143,6 +143,16 @@ if [ "$SDK_EXTENSIBLE" = "1" ]; then "characters such as spaces, @, \$ or +. Abort!" exit 1 fi + # The build system doesn't work well with /tmp on NFS + fs_dev_path="$target_sdk_dir" + while [ ! -d "$fs_dev_path" ] ; do + fs_dev_path=`dirname $fs_dev_path` + done + fs_dev_type=`stat -f -c '%t' "$fs_dev_path"` + if [ "$fsdevtype" = "6969" ] ; then + echo "The target directory path $target_sdk_dir is on NFS, this is not possible. Abort!" + exit 1 + fi else if [ -n "$(echo $target_sdk_dir|grep ' ')" ]; then echo "The target directory path ($target_sdk_dir) contains spaces. Abort!" |