This commit is contained in:
Jakobus Schürz 2021-02-02 11:30:09 +01:00
parent d4d5c29049
commit 75d1935d1d

View file

@ -52,6 +52,10 @@ while [ $# -gt 0 ]; do
dosubmodupdate="true" dosubmodupdate="true"
shift shift
;; ;;
--)
shift
break
;;
*) *)
echo "1: $1" echo "1: $1"
PRE="" PRE=""