From 3d13bab507331167cccf746fa8ea3d2f210ca11d Mon Sep 17 00:00:00 2001 From: midipix 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