aboutsummaryrefslogtreecommitdiffstats
path: root/configure.ac
diff options
context:
space:
mode:
authorSteve Slaven <bpk@hoopajoo.net>2023-01-24 06:09:35 (GMT)
committerSteve Slaven <bpk@hoopajoo.net>2023-01-24 06:09:35 (GMT)
commit76f433d408da25e3291c4f4d47f8e60428a3e2e6 (patch)
treeebbb688a90313a59788d136b868d7f3b77ec228a /configure.ac
parent57cc8e95ac7f96ff6eae17b46edc60b01f2d0e0a (diff)
downloadpowwow-76f433d408da25e3291c4f4d47f8e60428a3e2e6.zip
powwow-76f433d408da25e3291c4f4d47f8e60428a3e2e6.tar.gz
powwow-76f433d408da25e3291c4f4d47f8e60428a3e2e6.tar.bz2
add --prove
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac6
1 files changed, 6 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index a69864e..34a7666 100644
--- a/configure.ac
+++ b/configure.ac
@@ -25,6 +25,12 @@ AC_ARG_ENABLE(regex,
[enable_regex="yes"]
)
+AC_ARG_ENABLE(prove,
+ AC_HELP_STRING([--enable-prove],
+ [Enable prove option [[default=no]]]),
+ [AC_DEFINE(ENABLE_PROVE)]
+)
+
AC_ARG_ENABLE(sort,
AC_HELP_STRING([--enable-sort],
[Sort aliases and actions [[default=no]]]),