diff --git a/scripts/configure b/scripts/configure index 6ced3439..694b1f07 100755 --- a/scripts/configure +++ b/scripts/configure @@ -9511,12 +9511,8 @@ fi echo "-----------------------------------------------------------" echo - echo "Use 'make' to compile and 'make install' to install." echo -echo "Errors may not be printed to stdout: see files 'make.log' " -echo " and 'install.log' for complete error summary." -echo echo "-----------------------------------------------------------" echo diff --git a/scripts/configure.in b/scripts/configure.in index 1a02a713..ffce91e5 100644 --- a/scripts/configure.in +++ b/scripts/configure.in @@ -1916,12 +1916,8 @@ fi echo "-----------------------------------------------------------" echo - echo "Use 'make' to compile and 'make install' to install." echo -echo "Errors may not be printed to stdout: see files 'make.log' " -echo " and 'install.log' for complete error summary." -echo echo "-----------------------------------------------------------" echo