diff options
| author | David Tardon <dtardon@redhat.com> | 2012-05-03 12:19:25 +0200 |
|---|---|---|
| committer | David Tardon <dtardon@redhat.com> | 2012-05-04 09:42:22 +0200 |
| commit | b71589aab00f2d0c23063d4638510161244e4f80 (patch) | |
| tree | a52ca08d71dc345960dda97bb0e1bb48522040d7 /Makefile | |
| parent | da7058c856f6b69d6c7d1134fdf0a764fd0202c9 (diff) | |
do not override GMAKE_OPTIONS set by user
Change-Id: I30e3e2a65315ed9895a66c847c1cd73090a74607
Diffstat (limited to 'Makefile')
| -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\ |