diff --git a/src/tools/copyright.pl b/src/tools/copyright.pl old mode 100644 new mode 100755