more idempotency fixes

2014-04-05 13:29:17 -04:00 · 2014-04-05 13:29:17 -04:00 · 4e601cf124
commit 4e601cf124
parent 0d965885b7
1 changed files with 1 additions and 1 deletions
--- 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