diff options
author | Nicholas Clark <nick@ccl4.org> | 2014-02-27 10:20:38 +0100 |
---|---|---|
committer | Nicholas Clark <nick@ccl4.org> | 2014-03-02 07:08:54 +0100 |
commit | 3fbff3ec9773b4a8b8ccfc97a1829b2435cc1a7d (patch) | |
tree | 5d149b4504d48219f135330a062c69bd0428c012 /make_ext.pl | |
parent | 6b94381de733fd32f3a547af933571b887a629af (diff) | |
download | perl-3fbff3ec9773b4a8b8ccfc97a1829b2435cc1a7d.tar.gz |
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.
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 98ed3cc6e1..0c877fc9ea 100644 --- 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"; -} 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"; } |