diff --git a/standalone/android/buildchroot-inchroot b/standalone/android/buildchroot-inchroot
index 9d2cddff33..add03f8472 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