CI: Add argument to ci_build.sh to pass flags to autogen.sh.

diff --git a/build-aux/ci_build.sh b/build-aux/ci_build.sh
index 201c1dd5d0a264135623d995716bb277697e4f1d..6ab4777f014ce51d32f057b6c94e369e2ebe53d4 100755 (executable)
--- 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"