X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=configure.in;h=89dfaebbd37559640d450351a7f258d3c1e83149;hb=7fc98fe21b33581be43c64da8e9aa6df353581d7;hp=70146d70f4b2e1017621f9a1dc8cd8760b9f36b7;hpb=608a144b6e5d51f146ad8267b528007eca410d87;p=ghc-hetmet.git

diff --git a/configure.in b/configure.in
index 70146d7..89dfaeb 100644
--- a/configure.in
+++ b/configure.in
@@ -341,10 +341,10 @@ dnl ** check if perl library is properly installed
 if $PerlCmd -e 'do "getopts.pl" || exit(1); exit(0);' > /dev/null 2>&1 ; then
     :
 else
-    echo "I think your perl library is misinstalled."
+    echo "I think your perl library is misinstalled:"
     echo "The following script did not work:"
     echo '      do "getopts.pl" || exit(1); exit(0);'
-    exit 1
+    echo 'But, anyway, we will continue in our quest..'
 fi
 #
 #