From b1dab2e19dac8d2d646c0766be8c1b51b1520932 Mon Sep 17 00:00:00 2001 From: Olivier Houchard Date: Wed, 20 Mar 2024 23:36:38 +0100 Subject: [PATCH] build: Fix indentation Fix indentation lost well resolving conflicts from github UI. --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index ccba88d1..acf966b7 100755 --- a/configure +++ b/configure @@ -162,7 +162,7 @@ generate_stdout() echo " LDFLAGS = $LDFLAGS" echo " SHARED_LIB = `expr $DISABLE_SHARED = 0`" echo " STATIC_LIB = `expr $DISABLE_STATIC = 0`" - echo " EXTRA_BUILD = $EXTRA_BUILD" + echo " EXTRA_BUILD = $EXTRA_BUILD" echo " GZIP = $GZIP" echo " CORES = $CORES" echo " POINTER_PACK = $POINTER_PACK_ENABLE"