allow $BUILDER_OPTS to set globally available commandline options

diff --git a/builder.sh b/builder.sh
index 0de793a51a9aa757ffb996ea3c34a7663fa4bebb..52d306ab205859bf68499dc8bb805357fe1e4097 100755 (executable)
--- a/builder.sh
+++ b/builder.sh
@@ -2052,6 +2052,11 @@ if [ $# = 0 ]; then
        exit 1
 fi
 
+# stuff global $BUILDER_OPTS from env as args
+if [ "$BUILDER_OPTS" ]; then
+       set -- "$BUILDER_OPTS" "$@"
+fi
+
 while [ $# -gt 0 ]; do
        case "${1}" in
                -4|-6)