1 files changed, 1 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index a3696ec9..656c27b0 100644
--- a/Makefile
+++ b/Makefile
@@ -115,7 +115,7 @@ check_permissions:
         @echo "----------------------"
         @echo "Check file permissions"
         @echo "----------------------"
-        @for file in `git ls-files`; do \
+        @for file in `git ls-files | grep -v docker`; do \
                 if [ -x $$file ]; then \
                         errors=true; \
                         echo "$${file} is executable"; \