commit 87ceabfa27c3b914cf15d61cbb5efce7904f0d1b
parent 9fd47f33ff267b5430cf926b8257c75ac9f15380
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date: Fri, 18 Jul 2025 16:44:30 +0200
Updated build help message
Diffstat:
| M | build | | | 14 | +++++++++----- |
1 file changed, 9 insertions(+), 5 deletions(-)
diff --git 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() {
