ci/build.sh: autotools add support for CONFIGURE_OPTIONS for MinGW and Cygwin

diff --git a/ci/build.sh b/ci/build.sh
index 3c73b759276552903f69de80620eddab15759e61..b95950f24b79d7dda77ad94f75018cb81ba59a0e 100755 (executable)
--- a/ci/build.sh
+++ b/ci/build.sh
@@ -82,7 +82,7 @@ else
     elif [ "${OSTYPE}" = "cygwin" -o "${OSTYPE}" = "msys" ]; then
         if [ "${use_autogen:-no}" = "yes" ]; then
             ./autogen.sh
-            ./configure --prefix=$( pwd )/build | tee >(./ci/extract-configure-log.sh >${META_DATA_DIR}/configure.log)
+            ./configure ${CONFIGURE_OPTIONS:-} --prefix=$( pwd )/build | tee >(./ci/extract-configure-log.sh >${META_DATA_DIR}/configure.log)
             make
             make install
             tar cf - -C build . | xz -9 -c - > graphviz-${GV_VERSION}-${ARCH}.tar.xz
@@ -90,7 +90,7 @@ else
         else
             tar xfz graphviz-${GV_VERSION}.tar.gz
             pushd graphviz-${GV_VERSION}
-            ./configure --prefix=$( pwd )/build | tee >(../ci/extract-configure-log.sh >../${META_DATA_DIR}/configure.log)
+            ./configure ${CONFIGURE_OPTIONS:-} --prefix=$( pwd )/build | tee >(../ci/extract-configure-log.sh >../${META_DATA_DIR}/configure.log)
             make
             make install
             popd