]> git.apps.os.sepia.ceph.com Git - ceph-build.git/commitdiff
Merge pull request #704 from ceph/wip-docker-lint2
authorGregory Meno <gmeno@redhat.com>
Thu, 4 May 2017 22:53:56 +0000 (15:53 -0700)
committerGitHub <noreply@github.com>
Thu, 4 May 2017 22:53:56 +0000 (15:53 -0700)
correct lint executable; filter paths; set +e so we can lint all files


Trivial merge