From b9d3841019bbbe29ed3dc32642712ca6e9e4ee5b Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Mon, 13 Jun 2022 22:43:55 +0200
Subject: [PATCH] build gnu: continue the customization of the tests

---
 util/build-gnu.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/util/build-gnu.sh b/util/build-gnu.sh
index a7dc60614..04f9526bd 100755
--- a/util/build-gnu.sh
+++ b/util/build-gnu.sh
@@ -66,7 +66,6 @@ if test -f gnu-built; then
     echo "GNU build already found. Skip"
     echo "'rm -f $(pwd)/gnu-built' to force the build"
     echo "Note: the customization of the tests will still happen"
-    exit 0
 else
     ./bootstrap
     ./configure --quiet --disable-gcc-warnings