diff --git a/admin/build.sh b/admin/build.sh
index e500ea70c955b025bed3753e520756ea8c6adb8b..2a84487074cc92dbbf54c466576ec6f99fc176b6 100755
--- a/admin/build.sh
+++ b/admin/build.sh
@@ -24,12 +24,12 @@ if grep -qv '^At ' ../svn-update.log; then
 fi
 rm -f ../svn-update.log
 
-echo "\$ nice scons -kj2 all ${DOXYGEN:+DOXYGEN="$DOXYGEN"}"
-nice scons -kj2 all ${DOXYGEN:+DOXYGEN="$DOXYGEN"}
-echo "\$ nice scons linklint ${DOXYGEN:+DOXYGEN="$DOXYGEN"}"
-nice scons linklint ${DOXYGEN:+DOXYGEN="$DOXYGEN"}
-echo "\$ nice scons fixlinks ${DOXYGEN:+DOXYGEN="$DOXYGEN"}"
-nice scons fixlinks ${DOXYGEN:+DOXYGEN="$DOXYGEN"}
+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