diff options
-rw-r--r-- | config/general.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/general.mk b/config/general.mk index 702deb8..b82dae3 100644 --- a/config/general.mk +++ b/config/general.mk @@ -1,2 +1,2 @@ VERBOSE = false -MAKE_OPTS = --no-print-directory +MAKE_OPTS = --no-print-directory -s |