1os: 2 - linux 3 - osx 4 5before_install: | 6 if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo add-apt-repository ppa:schot/gawk -y; fi 7 if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get update -q; fi 8 if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get install gawk; fi 9 if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get install rlwrap; fi 10 if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get install emacs; fi 11 if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew update; fi 12 if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew install gawk; fi 13 if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew install rlwrap; fi 14 if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew install emacs; fi 15 if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew install bash; fi 16 17script: make check 18