diff --git a/Configure b/Configure index 25b277b8b0..d149eabb65 100755 --- a/Configure +++ b/Configure @@ -770,6 +770,8 @@ EOF print < to ; see file INSTALL for hints on coping with compatibility problems. EOF