Doit: fix -pedantic

2026-01-21 06:17:19 +09:00 · 2007-01-09 22:44:41 -08:00 · 2007-01-09 22:44:41 -08:00 · 19777591eb
commit 19777591eb
parent d59269a76f
1 changed files with 4 additions and 1 deletions
--- a/5
+++ b/5
@ -1,7 +1,10 @@
 #!/bin/sh

-: ${M=''}
 : ${J=-j2}
+while case "$1" in -pedantic) M=$1 ;; *) break ;; esac
+do
+	shift
+done

 test -z "$(git diff --cached --name-status)" || {
 	echo >&2 "Repository unclean."