You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

32 lines
544 B

#!/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