diff options
| -rw-r--r-- | Makefile.pre.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.pre.in b/Makefile.pre.in index b6578dec08..1ce78b2152 100644 --- a/Makefile.pre.in +++ b/Makefile.pre.in @@ -410,11 +410,12 @@ platform: $(BUILDPYTHON) # Build the shared modules -# MAKEFLAGS are sorted and normalized. Under GNU make the 's' for +# Under GNU make, MAKEFLAGS are sorted and normalized; the 's' for # -s, --silent or --quiet is always the first char. +# Under BSD make, MAKEFLAGS might be " -s -v x=y". sharedmods: $(BUILDPYTHON) @case "$$MAKEFLAGS" in \ - s*) quiet="-q";; \ + *\ -s*|s*) quiet="-q";; \ *) quiet="";; \ esac; \ $(RUNSHARED) CC='$(CC)' LDSHARED='$(BLDSHARED)' OPT='$(OPT)' \ |