more on use of readline when using --without-readline

[<don...@is...>]

I've recovered a transcript of one of the builds.  
Here I show the lines that mention readline.
  # grep readline /tmp/clisp-readline-bug 
  wg:root /root/clisp-2.31>./configure --without-readline --without-readline --without-unicode test7

[I accidentally specified without readline twice - I assume that does
no harm.]

  ./configure --without-readline --without-readline --without-unicode test7

  executing /root/clisp-2.31/test7/configure --srcdir=../src --without-readline --without-readline --without-unicode --cache-file=config.cache

  checking readline/readline.h usability... yes

  checking readline/readline.h presence... yes

  checking for readline/readline.h... yes

  checking for library containing readline... -lreadline

  executing /root/clisp-2.31/test7/avcall/configure --srcdir=../../ffcall/avcall --without-readline --without-readline --without-unicode --cache-file=../config.cache

  executing /root/clisp-2.31/test7/callback/configure --srcdir=../../ffcall/callback --without-readline --without-readline --without-unicode --cache-file=../config.cache

  configure: running /bin/sh '../../../ffcall/callback/vacall_r/configure' --prefix=/usr/local  '--srcdir=../../ffcall/callback' '--without-readline' '--without-unicode' '--cache-file=../config.cache' 'CC=gcc -g' --cache-file=../../config.cache --srcdir=../../../ffcall/callback/vacall_r

  configure: running /bin/sh '../../../ffcall/callback/trampoline_r/configure' --prefix=/usr/local  '--srcdir=../../ffcall/callback' '--without-readline' '--without-unicode' '--cache-file=../config.cache' 'CC=gcc -g' --cache-file=../../config.cache --srcdir=../../../ffcall/callback/trampoline_r

  executing /root/clisp-2.31/test7/libcharset/configure --srcdir=../../libcharset --without-readline --without-readline --without-unicode --cache-file=../config.cache

      ./makemake --with-dynamic-ffi  --without-readline --without-readline --without-unicode   > Makefile

  wg:root /root/clisp-2.31/test7>./makemake --with-dynamic-ffi  --without-readline --without-readline --without-unicode   > Makefile
  ./makemake --with-dynamic-ffi  --without-readline --without-readline --without-unicode   > Makefile

  gcc -g -W -Wswitch -Wcomment -Wpointer-arith -Wimplicit -Wreturn-type  -fomit-frame-pointer -Wno-sign-compare -O2 -fexpensive-optimizations -DDYNAMIC_FFI -DNO_READLINE -I. -x none spvw.o spvwtabf.o spvwtabs.o spvwtabo.o eval.o control.o encoding.o pathname.o stream.o socket.o io.o array.o hashtabl.o list.o package.o record.o sequence.o charstrg.o debug.o error.o misc.o time.o predtype.o symbol.o lisparit.o i18n.o foreign.o unixaux.o ari80386.o modules.o libcharset.a libavcall.a libcallback.a -lreadline -lncurses -ldl   -L/usr/local/lib -lsigsegv -lc -o lisp.run

Everything looks ok until that last line - note it contains 
-lreadline !  
If I redo that line without -lreadline it seems to work ok.
Could the problem be as simple as including that -lreadline even when 
--without-readline is specified?  Or perhaps configure shouldn't even
be looking for readline when --without-readline is specified?