From de28dd5fe53ab7af0cc3f40d51289fa69685b330 Mon Sep 17 00:00:00 2001 From: Marc Herbert Date: Fri, 15 Dec 2023 19:24:27 +0000 Subject: [PATCH] Give fuzz.sh a `proper -h` help text Long overdue. Signed-off-by: Marc Herbert --- scripts/fuzz.sh | 66 ++++++++++++++++++++++++++++++++----------------- 1 file changed, 44 insertions(+), 22 deletions(-) diff --git a/scripts/fuzz.sh b/scripts/fuzz.sh index 4580f64e5..ee3aadc96 100755 --- a/scripts/fuzz.sh +++ b/scripts/fuzz.sh @@ -4,28 +4,50 @@ set -e print_help() { cat <