diff options
author | Mark Ferrell <major@homeonderanged.org> | 2013-08-07 08:30:09 -0500 |
---|---|---|
committer | Mark Ferrell <major@homeonderanged.org> | 2013-09-18 12:49:04 -0700 |
commit | d14c29e539fe9c86643989e4850c9401efb2c447 (patch) | |
tree | f375fe1180ed810b210facaba0bfd2f242405e0a | |
parent | 46c6756491ce4a7e4c339d62c7783d57b5ea72c9 (diff) |
Save the build log to the builder tmpdir
-rwxr-xr-x | scripts/build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build b/scripts/build index 03b4259..5635df4 100755 --- a/scripts/build +++ b/scripts/build @@ -372,4 +372,4 @@ set -- ${packages} unset packages # exec out to make with the appropriate Makefile -make ${MAKE_OPTS} -r -f "${BUILDER_MAKEFILE}" "${@}" +make ${MAKE_OPTS} -r -f "${BUILDER_MAKEFILE}" "${@}" 2>&1 | tee "${BUILDER_TMPDIR}/builder.log" |