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.
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
J=
|
|
|
|
|
|
|
|
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 $J all &&
|
|
|
|
Meta/Make $J $nstall &&
|
|
|
|
Meta/Make test &&
|
|
|
|
Meta/Make clean || exit $?
|
|
|
|
else
|
|
|
|
echo "* No $branch"
|
|
|
|
fi
|
|
|
|
done >./:all.log 2>&1
|
|
|
|
|
|
|
|
git checkout master
|
|
|
|
|
|
|
|
|