Make --with-flexlexer-dir stick
Configure --with-flexlexer-dir=DIR now adds DIR to the include path. Closes #6138 (closed).
Tested manually as described in the ticket.
Configure --with-flexlexer-dir=DIR now adds DIR to the include path. Closes #6138 (closed).
Tested manually as described in the ticket.