./configure does not support --disable-option-checking

[Vagrant Cascadian]

In recent versions of debhelper in Debian, ./configure is passed the
--disable-option-checking argument, which broke building mes.

The attached patch adds a no-op to configure for this argument, which is
sufficient to get mes building again on Debian.

live well,
  vagrant

From b8afdab829239ca857495c5eb5d1c25476cbc630 Mon Sep 17 00:00:00 2001
From: Vagrant Cascadian <address@hidden>
Date: Sun, 24 May 2020 15:44:22 +0000
Subject: [PATCH] configure: Add no-op for "disable-option-checking" option.

This is a standard option supported in autoconf.

In Debian systems using recent versions of debhelper this argument is be
passed to configure by default. See https://bugs.debian.org/942813 for
more information.
---
 configure | 1 +
 1 file changed, 1 insertion(+)

diff --git a/configure b/configure
index 7e59b5a9..74dd00ba 100755
--- a/configure
+++ b/configure
@@ -319,6 +319,7 @@ MES_ARENA=100000000 exec ${SCHEME-guile} -L . 
--no-auto-compile -e '(configure)'
             (enable-colors)
             (disable-silent-rules)
             (enable-silent-rules)
+            (disable-option-checking)
             (with-system-libc)
 
             (enable-fast-install)       ; Ignored for Guix
-- 
2.20.1

signature.asc
Description: PGP signature