From 3f45b7f92bf673ded28169e024929f17c61e22f0 Mon Sep 17 00:00:00 2001
From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Thu, 16 Aug 2018 21:04:36 +0200
Subject: [PATCH] check-mescc: c-mini

---
 build-aux/check-mescc.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build-aux/check-mescc.sh b/build-aux/check-mescc.sh
index b79dc8f1..58bcf78b 100755
--- a/build-aux/check-mescc.sh
+++ b/build-aux/check-mescc.sh
@@ -154,10 +154,10 @@ fail=0
 total=0
 mkdir -p scaffold/tests
 for t in $tests; do
-    if [ -z "${t/[01][0-9]-*/}" ]; then
+    if [ -z "${t/[012][0-9]-*/}" ]; then
         LIBC=
         MES_LIBS="-l none"
-    elif [ -z "${t/[2][0-9]-*/}" ]; then
+    elif [ -z "${t/[34][0-9]-*/}" ]; then
         LIBC=c-mini
         MES_LIBS="-l c-mini"
     elif [ -z "${t/[78][0-9a-z]-*/}" ]; then