diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2012-01-16 08:24:41 +0100 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2012-01-16 08:24:41 +0100 |
| commit | e987a296c33d0dab09428bf28140ced054130609 (patch) | |
| tree | e1785f061f2e8a42007e5e1f4d2b2d5d680157f4 | |
| parent | 1dc86d6d0e582e02a291f197d76345e8a2b2d6e2 (diff) | |
| download | bin-e987a296c33d0dab09428bf28140ced054130609.zip bin-e987a296c33d0dab09428bf28140ced054130609.tar.gz | |
wayland-build.sh: redirect build stdout to tmp file
| -rwxr-xr-x | wayland-build.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/wayland-build.sh b/wayland-build.sh index cbc658a..9844e31 100755 --- a/wayland-build.sh +++ b/wayland-build.sh @@ -51,7 +51,8 @@ function build () { if [ $FORCE_DISTCLEAN -eq 1 ]; then say " * make distclean" && make distclean >/dev/null fi - say " * make" && make >/dev/null && say " * install" && echo "$SUDO_PASSWD" | sudo -S -E make install + tmp=/tmp/$my_dir.build + say " * make" && make >$tmp && say " * install" && echo "$SUDO_PASSWD" | sudo -S -E make install } function autogen () { |