Searched full:travis_os_name (Results 1 – 4 of 4) sorted by relevance
12 - if [ $TRAVIS_OS_NAME == "linux" ]; then15 elif [ $TRAVIS_OS_NAME == "osx" ]; then
60 - ./ci/install-${TRAVIS_OS_NAME}.sh61 - . ./ci/env-${TRAVIS_OS_NAME}.sh
23 - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then
23 …- if [ "$TRAVIS_OS_NAME" = 'linux' -a "$CC" = 'gcc' ]; then make -j $(nproc) CFLAGS='-g0' > /dev/n…