]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #12008 from linuxbox2/civet-copy-target
authorMatt Benjamin <mbenjamin@redhat.com>
Thu, 17 Nov 2016 21:16:44 +0000 (16:16 -0500)
committerGitHub <noreply@github.com>
Thu, 17 Nov 2016 21:16:44 +0000 (16:16 -0500)
cmake: produce civetweb.h, again

ok, w/upstream acks, merging--jenkins build did succeed (this is a build-only change)


Trivial merge