Index: src/scripts/enter_chroot.sh |
diff --git a/src/scripts/enter_chroot.sh b/src/scripts/enter_chroot.sh |
index d5a7ec2de700928c912ff94db7bfd0a0359ab3e9..fac434c3002feadb1151e80ae60e0ee2a4e3299d 100755 |
--- a/src/scripts/enter_chroot.sh |
+++ b/src/scripts/enter_chroot.sh |
@@ -122,7 +122,9 @@ function setup_env { |
echo "Mounting depot_tools" |
DEPOT_TOOLS=$(dirname $(which gclient) ) |
mkdir -p "$MOUNTED_PATH" |
- sudo mount --bind "$DEPOT_TOOLS" "$MOUNTED_PATH" |
+ if ! sudo mount --bind "$DEPOT_TOOLS" "$MOUNTED_PATH"; then |
+ echo "depot_tools failed to mount. This may impact chromium build" |
Alexey Marinichev
2010/02/16 22:13:17
Maybe we could add something like "check your NFS
|
+ fi |
fi |
fi |
) 200>>"$LOCKFILE" |