Index: configure.in =================================================================== diff -u -rcde16e9d87173d7ef9179ce40e10c2f1f708940e -r217d826e64107056ae97176552cae3c776991b9e --- configure.in (.../configure.in) (revision cde16e9d87173d7ef9179ce40e10c2f1f708940e) +++ configure.in (.../configure.in) (revision 217d826e64107056ae97176552cae3c776991b9e) @@ -526,3 +526,15 @@ + + + + + + + + + + + +