summaryrefslogblamecommitdiff
path: root/.ci/configure.sh
blob: bdc2d85274101945df086e861a0c34004087cce2 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
              


                 
                                                  





                                                                                                     
#!/bin/bash +e

set -o pipefail
export TEST_VAR=1
if ! ./configure $@ 2>&1 | tee -a configlog ; then
  if grep -q 'configure: error: changes in the environment can compromise the build' configlog ; then
    echo "clearing config.cache and retrying..."
    rm -f configlog config.cache
    ./configure $@
  fi
fi