From 0dec634e705b5bf89a37c5d62d71e8511d480058 Mon Sep 17 00:00:00 2001
From: Jia Tan <jiat0218@gmail.com>
Date: Thu, 12 Jan 2023 23:02:20 +0800
Subject: [PATCH] CI: Only run autogen.sh if it has not already run.

---
 build-aux/ci_build.sh | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/build-aux/ci_build.sh b/build-aux/ci_build.sh
index fa2a166d..0e43d29f 100755
--- a/build-aux/ci_build.sh
+++ b/build-aux/ci_build.sh
@@ -102,12 +102,17 @@ if [ "$PHASE" = "all" ] || [ "$PHASE" = "build" ]; then
 	mkdir -p "$DEST_DIR"
 	case $BUILD_SYSTEM in
 		autotools)
-		# Run autogen.sh script
 		cd "$SRC_DIR"
-		"./autogen.sh"
-		cd "$DEST_DIR"
-		# Generate configure option values
 
+		# Run autogen.sh script if not already run
+		if [ ! -f configure ]
+		then 
+			"./autogen.sh"
+		fi
+
+		cd "$DEST_DIR"
+
+		# Generate configure option values
 		EXTRA_OPTIONS=""
 		FILTER_LIST="lzma1,lzma2"