X-Git-Url: https://git.immae.eu/?a=blobdiff_plain;f=Makefile;h=656c27b03ab3664589123369ba770c31f44604de;hb=1a216faecb5c114afbf36ecbac8ec3f795309eba;hp=a3696ec987886657dfd2ecca1345575c4928c38c;hpb=2f69b6d04e399bd3efae0f12b8ad8c148fabf350;p=github%2Fshaarli%2FShaarli.git 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"; \