Searched full:travis_os_name (Results 1 – 1 of 1) sorted by relevance
165 - if [ "${TRAVIS_OS_NAME}" == "linux" -a "${BUILD_32_BITS}" == "OFF" ]; then169 - if [ "${BUILD_TYPE}" == "Coverage" -a "${TRAVIS_OS_NAME}" == "linux" ]; then174 - if [ "${C_COMPILER}" == "gcc-7" -a "${TRAVIS_OS_NAME}" == "osx" ]; then179 - if [ "${TRAVIS_OS_NAME}" == "linux" ]; then185 - if [ "${TRAVIS_OS_NAME}" == "osx" ]; then197 - if [ "${BUILD_TYPE}" == "Coverage" -a "${TRAVIS_OS_NAME}" == "linux" ]; then