From 375a95d777cd0bfed99802c277553eaacbf59c58 Mon Sep 17 00:00:00 2001
From: midipix <writeonce@midipix.org>
Date: Sat, 4 Jan 2020 00:05:27 +0000
Subject: build system: config_failure(): remove comment (no longer needed).
---
configure | 6 ------
1 file changed, 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
}
--
cgit v1.2.3