Merge branch 'master' of tronto.net:nissy-core

1 files changed, 19 insertions, 18 deletions

diff --git a/build.sh b/build.sh
index cad6947..7cd38e3 100755
--- a/build.sh
+++ b/build.sh
@@ -170,26 +170,27 @@ fi
 build_help() {
         echo "Build system for nissy. Usage:"
         echo ""
-        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 "$0 [-d] [TARGET]"
         echo ""
-        echo "targets:"
+        echo "Possible values for TARGET (defaults to 'nissy' if unspecified):"
         echo ""
-        echo "nissy       Build the nissy.o object file"
-        echo "lib         Build the static library libnissy.a"
-        echo "sharedlib   Build the shared library libnissy.so"
-        echo "python      Build the Python module for nissy"
-        echo "shell       Build a basic nissy shell (./run)"
-        echo "web         Build the WebAssembly / JavaScript module for nissy"
-        echo "cpp FILES   Build and run the given FILES including cpp/nissy.h"
-        echo "solvetest   Build nissy and run the tests for solvers (tools)"
-        echo ""
-        echo "help        Show this help message"
-        echo "config      Show build configuration and exit"
-        echo "clean       Remove all build files"
+        echo "nissy          Build the nissy.o object file."
+        echo "lib            Build the static library libnissy.a."
+        echo "sharedlib      Build the shared library libnissy.so."
+        echo "python         Build the Python module for nissy."
+        echo "shell          Build a basic nissy shell (./run)."
+        echo "web            Build the WebAssembly module for nissy."
+        echo "cpp FILES      Build and run the given C++ FILES."
+        echo "test [EXPR]    Build and run unit tests. If EXPR is provided,"
+        echo "               only the tests whose name matches EXPR are run."
+        echo "               The -d option is always implied."
+        echo "webtest [EXPR] Same as test, but for WebAssembly build."
+        echo "tool EXPR      Run the 'tool' matching the given EXPR."
+        echo "solvetest      Build nissy and run a collection of tools for"
+        echo "               testing various solvers."
+        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."