From: Kefu Chai <tchaikov@gmail.com>
Date: Mon, 17 Oct 2022 03:44:14 +0000 (+0800)
Subject: Merge pull request #48425 from phlogistonjohn/jjm-shell-fixups
X-Git-Tag: v18.1.0~1001
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=4193b6456202b59aadfdbbe9cb6b410fc5f67e18;p=ceph.git

Merge pull request #48425 from phlogistonjohn/jjm-shell-fixups

build: minor build script cleanups

Reviewed-by: Ernesto Puerta <epuertat@redhat.com>
Reviewed-by: Kefu Chai <tchaikov@gmail.com>
---

4193b6456202b59aadfdbbe9cb6b410fc5f67e18