diff options
author | 2014-04-05 13:29:17 -0400 | |
---|---|---|
committer | 2014-04-05 13:29:17 -0400 | |
commit | 5ea17d174ac989c2bcadf5052be616ac4bc74988 (patch) | |
tree | 970f42a83d376378f999aa063b103f4412429a7f | |
parent | 9c911c95b88d5ec3054903a03f49b72436404dad (diff) |
more idempotency fixes
-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 |