diff --git a/Doit b/Doit
index b134b84d97..aef3b4bee1 100755
--- a/Doit
+++ b/Doit
@@ -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."