Doit

   1 #!/bin/sh
   2
   3 : ${J=-j2}
   4 while case "$1" in -pedantic) M=$1 ;; *) break ;; esac
   5 do
   6         shift
   7 done
   8
   9 test -z "$(git diff --cached --name-status)" || {
  10         echo >&2 "Repository unclean."
  11         exit 1
  12 }
  13 Meta/Make clean >/dev/null 2>&1
  14
  15 : ${branches='next master maint pu'}
  16
  17 nstall=install
  18 for branch in $branches
  19 do
  20         if git rev-parse --verify refs/heads/$branch 2>/dev/null
  21         then
  22                 echo "** $branch" &&
  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 $?
  28         else
  29                 echo "** No $branch"
  30         fi
  31 done >./:all.log 2>&1
  32
  33 git checkout master
  34
  35