summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2020-01-04 00:05:27 +0000
committermidipix <writeonce@midipix.org>2020-01-04 00:07:46 +0000
commit5c5de9d7f4f60e25f29ad3edd0df0ba78a5ad2d1 (patch)
tree53ed5f510f3b4b1e73811ca7771825d07871473b
parent42c825ca6e989b2a399c3fcecd9aa91f01a8e5a1 (diff)
downloaddalist-5c5de9d7f4f60e25f29ad3edd0df0ba78a5ad2d1.tar.bz2
dalist-5c5de9d7f4f60e25f29ad3edd0df0ba78a5ad2d1.tar.xz
build system: config_failure(): remove comment (no longer needed).
-rwxr-xr-xconfigure6
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
}