Doit

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