diff options
Diffstat (limited to '')
-rwxr-xr-x | build-aux/ci_build.sh | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/build-aux/ci_build.sh b/build-aux/ci_build.sh index 201c1dd5..6ab4777f 100755 --- a/build-aux/ci_build.sh +++ b/build-aux/ci_build.sh @@ -17,6 +17,7 @@ set -e USAGE="Usage: $0 + -a [autogen flags] -b [autotools|cmake] -c [crc32|crc64|sha256] -d [encoders|decoders|bcj|delta|threads|shared|nls|small|ifunc|clmul] @@ -30,6 +31,7 @@ USAGE="Usage: $0 ABS_DIR=$(cd -- "$(dirname -- "$0")" && pwd) # Default CLI option values +AUTOGEN_FLAGS="" BUILD_SYSTEM="autotools" CHECK_TYPE="crc32,crc64,sha256" BCJ="y" @@ -52,13 +54,16 @@ ARTIFACTS_DIR_NAME="output" # Parse arguments # ################### -while getopts b:c:d:l:n:s:p:f:h opt; do +while getopts a:b:c:d:l:n:s:p:f:h opt; do # b option can have either value "autotools" OR "cmake" case ${opt} in h) echo "$USAGE" exit 0 ;; + a) + AUTOGEN_FLAGS="$OPTARG" + ;; b) case "$OPTARG" in autotools) ;; @@ -187,7 +192,7 @@ then # Run autogen.sh script if not already run if [ ! -f configure ] then - "./autogen.sh" + ./autogen.sh "$AUTOGEN_FLAGS" fi cd "$DEST_DIR" |