summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorAlbert Cervin <albert@acervin.com>2024-05-14 22:35:01 +0200
committerAlbert Cervin <albert@acervin.com>2024-05-14 22:35:01 +0200
commitb9fa579d78f4f2de8ea3d646488c6febffe2c127 (patch)
tree3d265673041aadb86bad62844a172def82d3c2c5 /configure
parent8624c6b3d20c3455af970d111855ad7b07988a87 (diff)
downloaddged-b9fa579d78f4f2de8ea3d646488c6febffe2c127.tar.gz
dged-b9fa579d78f4f2de8ea3d646488c6febffe2c127.tar.xz
dged-b9fa579d78f4f2de8ea3d646488c6febffe2c127.zip
And document the prefix flag
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure1
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index 69c1c6f..f95baae 100755
--- a/configure
+++ b/configure
@@ -5,6 +5,7 @@ _usage="./configure -- configure the DGED build.
Options:
--[enable|disable]-syntax Enable or disable syntax highlighting support.
--enable-asan Build DGED with address sanitizer enabled.
+ --prefix=<PREFIX> Set the build prefix path to <PREFIX>, default: /usr/local.
-h/--help Show this help text.
"