Commit Diff


commit - e0bd1cc3700964d87a360012a826fde3b77f88ec
commit + 4d64bb818dac3711c5cb3b97f47b51ae1accdcd7
blob - c57183f91a6f0f47d85c524d77c17c6f1286f884
blob + 335947420e49d0a3f92cf1c232d0b1cec5f44483
--- maintscripts/mk-portable-release.sh
+++ maintscripts/mk-portable-release.sh
@@ -31,7 +31,9 @@ nproc()
 	echo "$result"
 }
 
-[ -z "$(git status --porcelain)" ] || die "Working tree is not clean"
+{
+	[ -z "$(git status --porcelain)" ] || [ "$1" != "--force" ]
+} && die "Working tree is not clean"
 
 git checkout -q "$PORTABLE_BRANCH"
 git pull -q