[PATCH] configure: add ignored options for compatibility.
authorCédric Cabessa <ced@ryick.net>
Sat, 24 Apr 2010 23:33:10 +0000 (01:33 +0200)
committerW. Trevor King <wking@tremily.us>
Fri, 7 Nov 2014 17:36:53 +0000 (09:36 -0800)
commitaebf7cbe533844b6c0d51c66f38aee1279542d52
tree52e9689d09763795ba3b19ee380580fc48ecfa26
parent576fad82e27ec22db905693b96a813c6181c6e8d
[PATCH] configure: add ignored options for compatibility.
20/022c6b5804f06248df018f1a311c9a242de804 [new file with mode: 0644]