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











                                                                                                     
#!/bin/bash


set -o pipefail
export TEST_VAR=1
if ! ./configure $@ | 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