From 34b7601bd3ca10b335ba9e899a14566a6a1aa1df Mon Sep 17 00:00:00 2001 From: Louis Sugy Date: Tue, 4 Oct 2022 11:32:25 +0200 Subject: [PATCH] Fix target names in build.sh help text --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index 8ef2542faa..1f1169ade9 100755 --- a/build.sh +++ b/build.sh @@ -40,7 +40,7 @@ HELP="$0 [ ...] [ ...] [--cmake-args=\"\"] [--cache-tool=