From 55b5653726a5a195a83a89c2aef5fbc577c2f4bd Mon Sep 17 00:00:00 2001 From: Clay Shoaf Date: Thu, 21 Apr 2022 19:55:32 -0400 Subject: [PATCH] Slight problem with `./configure help` --- configure | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/configure b/configure index a0fd5d805..f5603f682 100755 --- a/configure +++ b/configure @@ -177,8 +177,9 @@ usage() usage_with_default "--enable/disable-ub-sanitizer" "$UBSAN" "enable" "disable" echo " Compile with undefined behaviour sanitizer" usage_with_default "--enable/disable-fuzzing" "$FUZZING" "enable" "disable" - echo " Compile with Rust support" + echo " ***something about fuzzing***" usage_with_default "--enable/disable-rust" "$RUST" "enable" "disable" + echo " Compile with Rust support" exit 1 }