diff --git a/devTools/check.py b/devTools/check.py old mode 100644 new mode 100755 diff --git a/sanityCheck b/sanityCheck old mode 100644 new mode 100755