X-Git-Url: http://g0dil.de/git?a=blobdiff_plain;f=admin%2Fbuild.sh;h=2a84487074cc92dbbf54c466576ec6f99fc176b6;hb=37c00b11c3d5c794463bbe7fc709674cca8579d3;hp=98a5d4da2600ad676069ffcda1140527c3270cec;hpb=f0dcb517837b27f0cded68a4f8a3cf5740ba840e;p=senf.git diff --git a/admin/build.sh b/admin/build.sh index 98a5d4d..2a84487 100755 --- a/admin/build.sh +++ b/admin/build.sh @@ -24,8 +24,12 @@ if grep -qv '^At ' ../svn-update.log; then fi rm -f ../svn-update.log -echo '$ scons -k all' -scons -k all +echo "\$ nice ${SCONS:-scons} -kj2 all ${DOXYGEN:+DOXYGEN="$DOXYGEN"}" +nice ${SCONS:-scons} -kj2 all ${DOXYGEN:+DOXYGEN="$DOXYGEN"} +echo "\$ nice ${SCONS:-scons} linklint ${DOXYGEN:+DOXYGEN="$DOXYGEN"}" +nice ${SCONS:-scons} linklint ${DOXYGEN:+DOXYGEN="$DOXYGEN"} +echo "\$ nice ${SCONS:-scons} fixlinks ${DOXYGEN:+DOXYGEN="$DOXYGEN"}" +nice ${SCONS:-scons} fixlinks ${DOXYGEN:+DOXYGEN="$DOXYGEN"} echo -n '# Build completed at '; date --utc exec >../upload.log 2>&1 @@ -37,6 +41,8 @@ fi echo -n '# Upload started at '; date --utc rsync -rzv --del --delete-excluded \ --filter="- .svn" \ + --filter="- linklint" \ + --filter="- debian" \ --filter="+ */" \ --filter="+ *.html" \ --filter="+ *.css" \