do not override GMAKE_OPTIONS set by user

Change-Id: I30e3e2a65315ed9895a66c847c1cd73090a74607
This commit is contained in:
David Tardon 2012-05-03 12:19:25 +02:00
parent da7058c856
commit b71589aab0

View file

@ -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\