Update building on FreeBSD.

This commit is contained in:
Darko Poljak 2016-07-07 07:53:21 +02:00
parent 959f160987
commit 07ef7cf2a0
1 changed files with 9 additions and 1 deletions

View File

@ -260,7 +260,15 @@ eof
fi
# Publish git changes
make helper=${helper} WEBDIR=${WEBDIR} pub
case "$run_as" in
freebsd)
# if we are not Nico :) then just push, no mirror
git push
;;
*)
make helper=${helper} WEBDIR=${WEBDIR} pub
;;
esac
# publish man, speeches, website
if [ "$masterbranch" = yes ]; then