# HG changeset patch
# User Chris Cannam
# Date 1574248607 0
# Node ID 7387ff52a58a8e9144a05927a3009b44fcf6add6
# Parent  ea990b89e1948e0fe99fb44111aa628c615d4bed
Install is Linux-only

diff -r ea990b89e194 -r 7387ff52a58a .travis.yml
--- a/.travis.yml	Wed Nov 20 10:48:16 2019 +0000
+++ b/.travis.yml	Wed Nov 20 11:16:47 2019 +0000
@@ -31,5 +31,5 @@
 
 script:
   - make -j3
-  - sudo make install
-  - /usr/local/bin/tony -v
+  - if [[ "$TRAVIS_OS_NAME" = "linux" ]] ; then sudo make install ; fi
+  - if [[ "$TRAVIS_OS_NAME" = "linux" ]] ; then /usr/local/bin/tony -v ; fi