| Index: src/scripts/enter_chroot.sh
|
| diff --git a/src/scripts/enter_chroot.sh b/src/scripts/enter_chroot.sh
|
| index ab5418e6ccb749551a9b61a19a183553d0bd2195..89f29328b1d8e6f85e816b66a0ef00885ca4c726 100755
|
| --- a/src/scripts/enter_chroot.sh
|
| +++ b/src/scripts/enter_chroot.sh
|
| @@ -63,6 +63,7 @@ set -e
|
|
|
| INNER_CHROME_ROOT="/home/$USER/chrome_root" # inside chroot
|
| CHROME_ROOT_CONFIG="/var/cache/chrome_root" # inside chroot
|
| +INNER_DEPOT_TOOLS_ROOT="/home/$USER/depot_tools" # inside chroot
|
|
|
| sudo chmod 0777 "$FLAGS_chroot/var/lock"
|
|
|
| @@ -113,6 +114,17 @@ function setup_env {
|
| sudo mount --bind "$CHROME_ROOT" "$MOUNTED_PATH"
|
| fi
|
| fi
|
| +
|
| + MOUNTED_PATH="$(readlink -f "${FLAGS_chroot}${INNER_DEPOT_TOOLS_ROOT}")"
|
| + if [ -z "$(mount | grep -F "on $MOUNTED_PATH")" ]
|
| + then
|
| + if [ $(which gclient 2>/dev/null) ]; then
|
| + echo "Mounting depot_tools"
|
| + DEPOT_TOOLS=$(dirname $(which gclient) )
|
| + mkdir -p "$MOUNTED_PATH"
|
| + sudo mount --bind "$DEPOT_TOOLS" "$MOUNTED_PATH"
|
| + fi
|
| + fi
|
| ) 200>>"$LOCKFILE"
|
| }
|
|
|
|
|