diff options
Diffstat (limited to 'meta/files/toolchain-shar-extract.sh')
-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 | |||
143 | "characters such as spaces, @, \$ or +. Abort!" | 143 | "characters such as spaces, @, \$ or +. Abort!" |
144 | exit 1 | 144 | exit 1 |
145 | fi | 145 | fi |
146 | # The build system doesn't work well with /tmp on NFS | ||
147 | fs_dev_path="$target_sdk_dir" | ||
148 | while [ ! -d "$fs_dev_path" ] ; do | ||
149 | fs_dev_path=`dirname $fs_dev_path` | ||
150 | done | ||
151 | fs_dev_type=`stat -f -c '%t' "$fs_dev_path"` | ||
152 | if [ "$fsdevtype" = "6969" ] ; then | ||
153 | echo "The target directory path $target_sdk_dir is on NFS, this is not possible. Abort!" | ||
154 | exit 1 | ||
155 | fi | ||
146 | else | 156 | else |
147 | if [ -n "$(echo $target_sdk_dir|grep ' ')" ]; then | 157 | if [ -n "$(echo $target_sdk_dir|grep ' ')" ]; then |
148 | echo "The target directory path ($target_sdk_dir) contains spaces. Abort!" | 158 | echo "The target directory path ($target_sdk_dir) contains spaces. Abort!" |