From 15a2d6d632c7b7dbba9042722c03d312753691da Mon Sep 17 00:00:00 2001 From: Jose Date: Sat, 3 Jun 2023 12:03:57 +0200 Subject: [PATCH] build help message fixes --- build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build.sh b/build.sh index 8f9c3d8ce0..b174d4e8a5 100755 --- a/build.sh +++ b/build.sh @@ -12,9 +12,9 @@ version=$(cat build/IceRpc.Version.props | grep "