#!/bin/sh : ${M=''} : ${J=-j2} test -z "$(git diff --cached --name-status)" || { echo >&2 "Repository unclean." exit 1 } Meta/Make clean >/dev/null 2>&1 : ${branches='next master maint pu'} nstall=install for branch in $branches do if git rev-parse --verify refs/heads/$branch 2>/dev/null then echo "** $branch" && git checkout $branch && Meta/Make $M -- $J all && Meta/Make $M -- $J $nstall && Meta/Make $M -- test && Meta/Make clean || exit $? else echo "** No $branch" fi done >./:all.log 2>&1 git checkout master