Ignore allow-root in update-prod when not running as root

diff --git a/bin/upgrade-prod.sh b/bin/upgrade-prod.sh
index c5c78f73a8e5cb9e36c180d72314f11461fce577..c57a7d8a21a0887b716ca732bb1b12b2fb8144b3 100755 (executable)
--- a/bin/upgrade-prod.sh
+++ b/bin/upgrade-prod.sh
@@ -38,7 +38,9 @@ fi
 NO_GIT=false
 
 while ! [ -z "${1+x}" ]; do
-    if [ "$1" = "--prod-public-dir" ]; then
+    if [ "$1" = "--allow-root" ]; then
+        shift
+    elif [ "$1" = "--prod-public-dir" ]; then
         export PROD_PUBLIC_DIR=$2
         shift
         shift