summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorDavid Tardon <dtardon@redhat.com>2012-05-03 12:19:25 +0200
committerDavid Tardon <dtardon@redhat.com>2012-05-04 09:42:22 +0200
commitb71589aab00f2d0c23063d4638510161244e4f80 (patch)
treea52ca08d71dc345960dda97bb0e1bb48522040d7 /Makefile
parentda7058c856f6b69d6c7d1134fdf0a764fd0202c9 (diff)
do not override GMAKE_OPTIONS set by user
Change-Id: I30e3e2a65315ed9895a66c847c1cd73090a74607
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\