From 4e601cf12427c4ec9cd34de16616f22d5055a47a Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sat, 5 Apr 2014 13:29:17 -0400 Subject: [PATCH] more idempotency fixes --- standalone/android/buildchroot-inchroot | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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