diff options
| author | David Tardon <dtardon@redhat.com> | 2012-07-31 09:27:18 +0200 |
|---|---|---|
| committer | David Tardon <dtardon@redhat.com> | 2012-07-31 10:35:43 +0200 |
| commit | 44eb85bb2089c0d83cbaf621bdaed7b1fe895684 (patch) | |
| tree | aecc35ccf05664f9aa628529a8af2b0c39cecd33 /Makefile.top | |
| parent | 1d3ca559966d522c3e5f98d137e02d295cb5751a (diff) | |
accept 'verbose' too
Change-Id: Icd5683ec2609e401e2e04021df5065986875c77c
Diffstat (limited to 'Makefile.top')
| -rw-r--r-- | Makefile.top | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.top b/Makefile.top index 4aaf83236b04..62715ded83f3 100644 --- a/Makefile.top +++ b/Makefile.top @@ -18,7 +18,7 @@ endif include $(SRCDIR)/config_$(gb_Side).mk ifeq ($(GMAKE_OPTIONS),) -ifeq ($(VERBOSE),) +ifeq ($(verbose)$(VERBOSE),) export GMAKE_OPTIONS:=-rs else export GMAKE_OPTIONS:=-r |