Merge remote-tracking branch 'origin/pr/18'

* origin/pr/18:
  travis_tools.sh: added support for HighSierra

Author: matthew-brett

test_osx_versions.sh

@@ -6,7 +6,9 @@ if [ "$(osx_version2version_name 10.9)" != "10.9-Mavericks" ]; then RET=1; fi
 if [ "$(osx_version2version_name 10.10)" != "10.10-Yosemite" ]; then RET=1; fi
 if [ "$(osx_version2version_name 10.11)" != "10.11-ElCapitan" ]; then RET=1; fi
 if [ "$(osx_version2version_name 10.12)" != "10.12-Sierra" ]; then RET=1; fi
+if [ "$(osx_version2version_name 10.13)" != "10.13-HighSierra" ]; then RET=1; fi
 if [ "$(osx_version2version_name 10.9.5)" != "10.9-Mavericks" ]; then RET=1; fi
 if [ "$(osx_version2version_name 10.10.2)" != "10.10-Yosemite" ]; then RET=1; fi
 if [ "$(osx_version2version_name 10.11.1)" != "10.11-ElCapitan" ]; then RET=1; fi
 if [ "$(osx_version2version_name 10.12.7)" != "10.12-Sierra" ]; then RET=1; fi
+if [ "$(osx_version2version_name 10.13.4)" != "10.13-HighSierra" ]; then RET=1; fi

travis_tools.sh

@@ -47,6 +47,7 @@ function osx_version2version_name {
     elif [ $pruned == "010010" ]; then echo "10.10-Yosemite";
     elif [ $pruned == "010011" ]; then echo "10.11-ElCapitan";
     elif [ $pruned == "010012" ]; then echo "10.12-Sierra";
+    elif [ $pruned == "010013" ]; then echo "10.13-HighSierra";
     else
         echo "Did not recognize OSX version $version"
         exit 1