diff options
Diffstat (limited to 'Makefile.pre.in')
| -rw-r--r-- | Makefile.pre.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.pre.in b/Makefile.pre.in index 67446cdd..9c05dd8 100644 --- a/Makefile.pre.in +++ b/Makefile.pre.in @@ -297,7 +297,10 @@ platform: $(PYTHON) # Build the shared modules sharedmods: $(PYTHON) - CC='$(CC)' LDSHARED='$(LDSHARED)' ./$(PYTHON) -E $(srcdir)/setup.py build + case $$MAKEFLAGS in \ + *-s*) CC='$(CC)' LDSHARED='$(LDSHARED)' ./$(PYTHON) -E $(srcdir)/setup.py -q build;; \ + *) CC='$(CC)' LDSHARED='$(LDSHARED)' ./$(PYTHON) -E $(srcdir)/setup.py build;; \ + esac # buildno should really depend on something like LIBRARY_SRC buildno: $(PARSER_OBJS) \ |