From 87ceabfa27c3b914cf15d61cbb5efce7904f0d1b Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Fri, 18 Jul 2025 16:44:30 +0200 Subject: Updated build help message --- build | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) (limited to 'build') diff --git a/build b/build index 471e2ee..47f62e4 100755 --- a/build +++ b/build @@ -162,11 +162,11 @@ fi build_help() { echo "Build system for nissy. Usage:" echo "" - echo "$0 TARGET # build the given TARGET" - echo "$0 # same as '$0 nissy'" - echo "$0 test [PATTERN] # run unit tests (matching PATTERN)" - echo "$0 webtest [PATTERN] # same as test, but for WASM build" - echo "$0 tool PATTERN # run the tool matching PATTERN" + echo "$0 [-d] TARGET # build the given TARGET" + echo "$0 [-d] # same as '$0 nissy [-d]'" + echo "$0 test [PATTERN] # run unit tests (matching PATTERN)" + echo "$0 webtest [PATTERN] # same as test, but for WASM build" + echo "$0 [-d] tool PATTERN # run the tool matching PATTERN" echo "" echo "targets:" echo "" @@ -181,6 +181,10 @@ build_help() { echo "help Show this help message" echo "config Show build configuration and exit" echo "clean Remove all build files" + echo "" + echo "The -d option activates debug mode (slower, used for testing)." + echo "Tests are automatically built in debug mode even without -d." + echo "For more on build configurations, see the comments in ./build" } build_config() { -- cgit v1.3