diff --git a/tools/scripts/checkConvenienceHeaders.py b/tools/scripts/checkConvenienceHeaders.py old mode 100644 new mode 100755 diff --git a/tools/scripts/checkDuplicateFilenames.py b/tools/scripts/checkDuplicateFilenames.py old mode 100644 new mode 100755 diff --git a/tools/scripts/checkLicense.py b/tools/scripts/checkLicense.py old mode 100644 new mode 100755