Diff options
Diffstat (limited to '')
| -rwxr-xr-x | tools/build-development.sh | 13 |
1 file changed, 4 insertions, 9 deletions
diff --git a/tools/build-development.sh b/tools/build-development.sh index 79b9259..aaa9e71 100755 --- a/tools/build-development.sh +++ b/tools/build-development.sh @@ -1,13 +1,9 @@ #!/bin/sh -# Build cgit for development and debugging. It compiles without optimisation -# and with full debug information, holds the sources to git's DEVELOPER -# warnings, and links in AddressSanitizer and UndefinedBehaviorSanitizer, so a -# memory error or undefined behaviour stops the program where it happens. With -# clang it also leaves a compilation database in build/compile_commands.json, -# where a language server looks for one, and with ctags a tags file in -# build/tags. The sanitizers make cgit slow, so the result is for testing and -# debugging rather than serving. +# Build cgit for development and debugging. The sanitizers stop the program at +# a memory error or undefined behaviour, which makes it slow, so the result is +# for testing rather than serving. With clang it also leaves a compilation +# database in build/ for a language server, and with ctags a tags file there. # # Any arguments go on to make, the way Lua flags do where pkg-config cannot # find Lua: @@ -18,7 +14,6 @@ set -eu -# Every make target below is written relative to the repository root. cd "$(dirname "$0")/.." # The build starts from clean so the bundled git objects pick up the same |
