download_and_compile: use our previously compiled cmake if it exists

This commit is contained in:
Rebecca N. Palmer 2016-10-29 22:15:32 +01:00
parent b2743b92f3
commit 6a356f7e18

View File

@ -295,7 +295,11 @@ if [[ "$(declare -p WHATTOBUILD)" =~ '['([0-9]+)']="CMAKE"' ]]; then
_make cmake
CMAKE="$INSTALL_DIR_CMAKE/bin/cmake"
else
CMAKE=cmake
if [ -x "$INSTALL_DIR_CMAKE/bin/cmake" ]; then
CMAKE="$INSTALL_DIR_CMAKE/bin/cmake"
else
CMAKE=cmake
fi
fi
#######################################################