diff --git a/configure b/configure index 910ac8b74568dad52ff7de0d5ae29206839d7339..e306b62ee5cccc1f99ae8bd2e9fe4517f65223f1 100755 --- a/configure +++ b/configure @@ -676,7 +676,7 @@ _EOF_ $CONF_CXX $CONF_CXXFLAGS $CONF_BITS -c $test.ginac.cpp echo "Running $CONF_LD -o $test.ginac $test.ginac.o $CONF_LFLAGS" 1>&2 $CONF_LD -o $test.ginac $test.ginac.o $CONF_LFLAGS - if [[ ! -x "$test" ]]; then + if [[ ! -x "$test.ginac" ]]; then echo "error compiling GiNaC" 1>&3 exit 1 fi