diff options
author | Yang Tse <yangsita@gmail.com> | 2011-08-05 21:01:39 +0200 |
---|---|---|
committer | Yang Tse <yangsita@gmail.com> | 2011-08-05 21:01:39 +0200 |
commit | c95fec5e5bd0c4eb439406c90e1954570ab080db (patch) | |
tree | 368197b7fbf905b8e8aca450c8ee8d0ea8896358 /lib | |
parent | 817b863466fd9812cb7a2305b66a39f2c0c24dbc (diff) |
keep a single copy of config-win32.h in version control repository - followup
Allow configure builds to generate src/config-win32.h
Skip checksrc on src/config-win32.h contents already checked at lib/config-win32.h
Allow multiple -W in checksrc.pl
Diffstat (limited to 'lib')
-rwxr-xr-x | lib/checksrc.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/checksrc.pl b/lib/checksrc.pl index c3e01305e..1aecd988d 100755 --- a/lib/checksrc.pl +++ b/lib/checksrc.pl @@ -62,7 +62,7 @@ while(1) { next; } elsif($file =~ /-W(.*)/) { - $wlist = $1; + $wlist .= " $1 "; $file = shift @ARGV; next; } @@ -79,7 +79,7 @@ if(!$file) { } do { - if($file ne "$wlist") { + if($wlist !~ / $file /) { my $fullname = $file; $fullname = "$dir/$file" if ($fullname !~ '^\.?\.?/'); scanfile($fullname); |