diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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\ |