diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2012-01-11 23:49:24 +0100 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2012-01-11 23:49:24 +0100 |
| commit | 898c5bd9ce0011337c412efeb4961e4b555195d0 (patch) | |
| tree | 0c3381ece0912bfca55f22587ce8da0990d9ed2d | |
| parent | b87d9bb9654828afe832c3653135a99b8ab50bab (diff) | |
| download | bin-898c5bd9ce0011337c412efeb4961e4b555195d0.zip bin-898c5bd9ce0011337c412efeb4961e4b555195d0.tar.gz | |
wayland-build.sh : make distclean >/dev/null
| -rwxr-xr-x | wayland-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/wayland-build.sh b/wayland-build.sh index dfb73c7..cbc658a 100755 --- a/wayland-build.sh +++ b/wayland-build.sh @@ -49,7 +49,7 @@ echo function build () { if [ $FORCE_DISTCLEAN -eq 1 ]; then - say " * make distclean" && make distclean + say " * make distclean" && make distclean >/dev/null fi say " * make" && make >/dev/null && say " * install" && echo "$SUDO_PASSWD" | sudo -S -E make install } |