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.

36 lines
604 B

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