diff options
Diffstat (limited to 'lib/make/make.configuration')
| -rw-r--r-- | lib/make/make.configuration | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/lib/make/make.configuration b/lib/make/make.configuration index 87660cec..9406b2a6 100644 --- a/lib/make/make.configuration +++ b/lib/make/make.configuration @@ -45,10 +45,15 @@ CACTUSLIBS = $(FLESHLIB) $(BINDINGSLIB) # Dividers to make the screen output slightly nicer DIVEL = __________________ DIVIDER = $(DIVEL)$(DIVEL)$(DIVEL)$(DIVEL) +ifeq ($(shell echo $(VERBOSE) | tr '[:upper:]' '[:lower:]'),yes) define NOTIFY_DIVIDER - VERBOSE=`echo $VERBOSE | tr '[:upper:]' '[:lower:]'`; \ - if test "$(VERBOSE)" = "yes"; then echo $(DIVIDER); fi + echo $(DIVIDER) endef +else +define NOTIFY_DIVIDER + : +endef +endif # Include the definitions for this configuration include $(CONFIG)/make.config.defn |