diff options
author | Daniel Friesel <derf@derf.homelinux.org> | 2009-01-12 21:17:39 +0100 |
---|---|---|
committer | Daniel Friesel <derf@derf.homelinux.org> | 2009-01-12 21:17:39 +0100 |
commit | ecc6118f0c79701e0acd01b11be0b57a82fb6ac8 (patch) | |
tree | 1d16f777ff22f6e619aa65cc5a2969db40416ba1 | |
parent | ec173b864148f38f12ba6349f0128ce40a54dcb0 (diff) |
pkg: silent mode: Run make in silent mode as well
-rwxr-xr-x | bin/pkg | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -114,6 +114,12 @@ if (( !DEBUG )) { function debug {} } +if (( SILENT )) { + # The goal is not to override anything set by the user... + # So, an alias should be safer than fiddling with $MAKEFLAGS + alias make='make -s' +} + ## ## Make sure everything's sane ## Warn otherwise |