Doit

   1 #!/bin/sh
   2
   3 J='-l 1.5 -j'
   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'
  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 &&
  24                 nstall=all || exit $?
  25         else
  26                 echo "* No $branch"
  27         fi
  28 done >./:all.log 2>&1
  29
  30 git checkout master
  31
  32