diff options
| author | Tony Cook <tony@develop-help.com> | 2014-07-02 15:50:02 +1000 |
|---|---|---|
| committer | Tony Cook <tony@develop-help.com> | 2014-07-02 15:50:02 +1000 |
| commit | 62fdd72a4efd5b75992adb51defb498823897afe (patch) | |
| tree | f58da44cc7fa5fc10be844c8cc4da6ed806137e8 /make_ext.pl | |
| parent | aafd5a98ceddbbddd79f9682a120b24f8618fcc0 (diff) | |
| download | perl-62fdd72a4efd5b75992adb51defb498823897afe.tar.gz | |
pass through -s if supplied, instead of defaulting to it
Diffstat (limited to 'make_ext.pl')
| -rw-r--r-- | make_ext.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make_ext.pl b/make_ext.pl index 09d0ab45be..a67e894ef6 100644 --- a/make_ext.pl +++ b/make_ext.pl @@ -531,7 +531,7 @@ else if test ! -f Makefile ; then echo "Warning: No Makefile!" fi - make -s $clean_target MAKE='@make' @pass_through + @make $clean_target MAKE='@make' @pass_through fi cd $return_dir EOS |