]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph-build.git/commitdiff
Merge pull request #1005 from ceph/fix-build
authorAlfredo Deza <alfredo@deza.pe>
Mon, 16 Apr 2018 16:55:16 +0000 (12:55 -0400)
committerGitHub <noreply@github.com>
Mon, 16 Apr 2018 16:55:16 +0000 (12:55 -0400)
build: fix unkown option


Trivial merge