diff options
Diffstat (limited to 'standalone/android')
| -rwxr-xr-x | standalone/android/buildchroot-inchroot | 2 |
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 |