diff options
| author | Jia Tan <jiat0218@gmail.com> | 2023-01-12 23:02:20 +0800 |
|---|---|---|
| committer | Jia Tan <jiat0218@gmail.com> | 2023-01-12 23:02:20 +0800 |
| commit | 0dec634e705b5bf89a37c5d62d71e8511d480058 (patch) | |
| tree | d8bd9576c08c9a041637aa395402c51a6811e96d | |
| parent | CI: Allow disabling shared library in autotools builds. (diff) | |
| download | xz-0dec634e705b5bf89a37c5d62d71e8511d480058.tar.xz | |
CI: Only run autogen.sh if it has not already run.
| -rwxr-xr-x | build-aux/ci_build.sh | 11 |
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" |