# HG changeset patch # User diego # Date 1162243724 0 # Node ID d598cd751a0069193f17bc323244aff129ee9a5f # Parent 655565aafbe49e3327645628e412ca453fbca830 Explain the risks of forcing options with --enable-* in a way that is hopefully less conducive to misunderstandings. diff -r 655565aafbe4 -r d598cd751a00 configure --- a/configure Mon Oct 30 21:25:02 2006 +0000 +++ b/configure Mon Oct 30 21:28:44 2006 +0000 @@ -8469,11 +8469,17 @@ cat <