]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #49405 from tchaikov/clang-16
authorKefu Chai <tchaikov@gmail.com>
Sat, 23 Sep 2023 12:23:15 +0000 (20:23 +0800)
committerGitHub <noreply@github.com>
Sat, 23 Sep 2023 12:23:15 +0000 (20:23 +0800)
run-make-check.sh: use clang-17 if available

Reviewed-by: Yuval Lifshitz <ylifshit@redhat.com>

Trivial merge