make_ext.pl should validate exactly which clean targets it can be used for.

Previously it would accept anything matching /clean$/. Now we check for the 4
names that we know the top level Makefile defines.

diff --git a/make_ext.pl b/make_ext.pl
index 98ed3cc..0c877fc 100644 (file)
--- a/make_ext.pl
+++ b/make_ext.pl
@@ -124,7 +124,7 @@ my @make = split ' ', $1 || $Config{make} || $ENV{MAKE};
 
 if ($target eq '') {
     die "make_ext: no make target specified (eg all or clean)\n";
 
 if ($target eq '') {
     die "make_ext: no make target specified (eg all or clean)\n";

-} elsif ($target !~ /(?:^all|clean)$/) {
+} elsif ($target !~ /^(?:all|clean|distclean|realclean|veryclean)$/) {

     # for the time being we are strict about what make_ext is used for
     die "$0: unknown make target '$target'\n";
 }
     # for the time being we are strict about what make_ext is used for
     die "$0: unknown make target '$target'\n";
 }