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:48 +0000
commit29f4384e4cb43d05d1ef10f97f6597a2d1e2b92b (patch)
tree839a4e2b1ba5a4e9c218bf4d6acc2db586fcf702
parentc519de7d75f2492b07bfb3e90f3a7f3daacaeeed (diff)
downloadpemagine-29f4384e4cb43d05d1ef10f97f6597a2d1e2b92b.tar.bz2
pemagine-29f4384e4cb43d05d1ef10f97f6597a2d1e2b92b.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
}