From 8274be77a0b01f3e29bd1137be77d82077c038a3 Mon Sep 17 00:00:00 2001 From: June McEnroe Date: Sun, 9 Jul 2023 21:08:01 -0400 Subject: Move sandman to top-level, add --enable-sandman --- configure | 1 + 1 file changed, 1 insertion(+) (limited to 'configure') 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 -- cgit 1.4.1