scripts/copyright.pl: support many provided file names on the cmdline

diff --git a/scripts/copyright.pl b/scripts/copyright.pl
index 9f37d1f2d1d4ee7ba2bec9bdaf93198d7796be2f..089f04a9ebb7e80532f4b447641303cd78a8f510 100755 (executable)
--- a/scripts/copyright.pl
+++ b/scripts/copyright.pl
@@ -160,7 +160,7 @@ if($ARGV[0] eq "-v") {
     shift @ARGV;
 }
 if($ARGV[0]) {
-    push @all, $ARGV[0];
+    push @all, @ARGV;
 }
 else {
     @all = `git ls-files`;