diff --git a/site_ansto/build b/site_ansto/build new file mode 100755 index 00000000..cf12c883 --- /dev/null +++ b/site_ansto/build @@ -0,0 +1,3 @@ +#!/bin/bash +#/usr/bin/time make --debug=b all 2>&1 | tee ${HOME}/build.log +/usr/bin/time make all 2>&1 | tee ${HOME}/build.log