4 while case "$1" in -pedantic) M=$1 ;; *) break ;; esac
9 test -z "$(git diff --cached --name-status)" || {
10 echo >&2 "Repository unclean."
13 Meta/Make clean >/dev/null 2>&1
15 : ${branches='next master maint pu'}
18 for branch in $branches
20 if git rev-parse --verify refs/heads/$branch 2>/dev/null
23 git checkout $branch &&
24 Meta/Make $M -- $J all &&
25 Meta/Make $M -- $J $nstall &&
26 Meta/Make $M -- test &&
27 Meta/Make clean || exit $?