build system: config_failure(): remove comment (no longer needed).

1 files changed, 0 insertions, 6 deletions

diff --git a/configure b/configure
index 1ce2ee8..75aea0b 100755
--- a/configure
+++ b/configure
@@ -594,12 +594,6 @@ config_failure()
 
 	printf 'configure info: exiting due to an error.\n' >&3
 
-	if [ -f Makefile ]; then
-		mb_error='failed to use the generated Makefile.'
-		printf '\n%s: error: %s\n' "${0}" "$mb_error" >&2
-		mv Makefile Makefile.failed
-	fi
-
 	exit 2
 }