summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index b72ce142efa0..5e6d46a42be7 100644
--- a/Makefile
+++ b/Makefile
@@ -17,11 +17,13 @@ endif
include $(SRCDIR)/config_$(gb_Side).mk
+ifeq ($(GMAKE_OPTIONS),)
ifeq ($(verbose),)
export GMAKE_OPTIONS:=-rs
else
export GMAKE_OPTIONS:=-r
endif
+endif
gbuild_modules:= \
MathMLDTD\