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\