mirrors/php-src
0
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-12-16 13:26:19 +08:00
Code Issues Packages Projects Releases Wiki Activity
69c046e53b
php-src/ext/readline/setup.stub
Thies C. Arntzen 1d9584c087 interface to GNU-Readline! (not yet active, autoconf needs to be done) 
very neat - but only usable in standalone (command-promt) mode!
1999-10-14 15:20:40 +00:00

4 lines
115 B
Plaintext
Raw Blame History

define_option with-readline 'GNU-Readline support?' yesnodir no \
' Whether to build the readline extension.'
Reference in New Issue View Git Blame Copy Permalink