Change OS guessing
authormayeut <mayeut@users.noreply.github.com>
Sat, 10 Oct 2015 15:05:11 +0000 (17:05 +0200)
committermayeut <mayeut@users.noreply.github.com>
Sat, 10 Oct 2015 15:05:11 +0000 (17:05 +0200)
commit9df5546838e12291f7db737e5e6597f17c92cadb
tree107a49eea3bedf0c77f0a9b951d5e9874b282e49
parentb816ac185bc3e0706ff3316ca6c8288dae79cd2b
Change OS guessing
tools/travis-ci/run.sh