summaryrefslogtreecommitdiff
path: root/standalone/android
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2014-04-05 13:29:17 -0400
committerGravatar Joey Hess <joey@kitenet.net>2014-04-05 13:29:17 -0400
commit5ea17d174ac989c2bcadf5052be616ac4bc74988 (patch)
tree970f42a83d376378f999aa063b103f4412429a7f /standalone/android
parent9c911c95b88d5ec3054903a03f49b72436404dad (diff)
more idempotency fixes
Diffstat (limited to 'standalone/android')
-rwxr-xr-xstandalone/android/buildchroot-inchroot2
1 files changed, 1 insertions, 1 deletions
diff --git a/standalone/android/buildchroot-inchroot b/standalone/android/buildchroot-inchroot
index 9d2cddff3..add03f847 100755
--- a/standalone/android/buildchroot-inchroot
+++ b/standalone/android/buildchroot-inchroot
@@ -7,7 +7,7 @@ if [ "$(whoami)" != root ]; then
fi
# java needs this mounted to work
-mount -t proc proc /proc
+mount -t proc proc /proc || true
echo "deb-src http://ftp.us.debian.org/debian stable main" >> /etc/apt/sources.list
apt-get update