fi
rm -f ../svn-update.log
-echo '$ scons -k all && scons fixlinks'
-scons -k all && scons linklint && scons fixlinks
+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
echo -n '# Upload started at '; date --utc
rsync -rzv --del --delete-excluded \
--filter="- .svn" \
+ --filter="- linklint" \
+ --filter="- debian" \
--filter="+ */" \
--filter="+ *.html" \
--filter="+ *.css" \