summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbin/pkg6
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/pkg b/bin/pkg
index cc06494..32cd2f6 100755
--- a/bin/pkg
+++ b/bin/pkg
@@ -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