diff --git a/tools/check-copyright-headers b/tools/check-copyright-headers
old mode 100644
new mode 100755