aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbuild-aux/ci_build.sh11
1 files changed, 8 insertions, 3 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"
+
+ # Run autogen.sh script if not already run
+ if [ ! -f configure ]
+ then
+ "./autogen.sh"
+ fi
+
cd "$DEST_DIR"
- # Generate configure option values
+ # Generate configure option values
EXTRA_OPTIONS=""
FILTER_LIST="lzma1,lzma2"