diff --git a/munix b/munix index e828fa3..8249ce4 100755 --- a/munix +++ b/munix @@ -31,6 +31,7 @@ while [ "$#" -gt 0 ]; do --munix-bin-dir) SCRIPT_PATH="$2"; shift 2;; --muvm-bin-dir) MUVM_PATH="$2"; shift 2;; --passt-bin-dir) PASST_PATH="$2"; shift 2;; + --) shift 1; MICROVM_COMMAND+=("$@"); break;; -*) echo "munix: unknown option: $1" >&2; exit 1;; *) if [ "$MICROVM_CLOSURE" = "" ]; then