diff options
author | June McEnroe <june@causal.agency> | 2023-07-09 21:08:01 -0400 |
---|---|---|
committer | June McEnroe <june@causal.agency> | 2023-07-09 21:08:01 -0400 |
commit | 8274be77a0b01f3e29bd1137be77d82077c038a3 (patch) | |
tree | dbc96885e2e0fe7aa2dcff6c75e1ec4f81bfe5a7 /configure | |
parent | Fix README files list (diff) | |
download | catgirl-8274be77a0b01f3e29bd1137be77d82077c038a3.tar.gz catgirl-8274be77a0b01f3e29bd1137be77d82077c038a3.zip |
Move sandman to top-level, add --enable-sandman 2.2
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure index 9465b77..07e3245 100755 --- a/configure +++ b/configure @@ -29,6 +29,7 @@ for opt; do (--prefix=*) echo "PREFIX = ${opt#*=}" ;; (--bindir=*) echo "BINDIR = ${opt#*=}" ;; (--mandir=*) echo "MANDIR = ${opt#*=}" ;; + (--enable-sandman) echo 'BINS += sandman' ;; (*) echo "warning: unsupported option ${opt}" >&2 ;; esac done |