diff options
| author | June McEnroe <june@causal.agency> | 2023-02-07 11:25:01 -0500 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2023-02-07 11:25:01 -0500 |
| commit | 7370eac9a41a1d37397092760f7e7a18edb26078 (patch) | |
| tree | 474752658f7209d23b7350e97f7f37de7614697d /configure | |
| parent | Set msg.cmd to NULL if it is empty string (diff) | |
| download | pounce-7370eac9a41a1d37397092760f7e7a18edb26078.tar.gz pounce-7370eac9a41a1d37397092760f7e7a18edb26078.zip | |
Remove pounce-edit
Temporarily? It never got finished and I need to be able to cut new releases of pounce without it.
Diffstat (limited to '')
| -rwxr-xr-x | configure | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configure b/configure index 62a3c1a..29587a2 100755 --- a/configure +++ b/configure @@ -27,7 +27,6 @@ for opt; do (--prefix=*) echo "PREFIX = ${opt#*=}" ;; (--bindir=*) echo "BINDIR = ${opt#*=}" ;; (--mandir=*) echo "MANDIR = ${opt#*=}" ;; - (--enable-edit) echo 'BINS += pounce-edit' ;; (--enable-notify) echo 'BINS += pounce-notify' ;; (--enable-palaver) echo 'BINS += pounce-palaver' |