change os guessing
authormayeut <mayeut@users.noreply.github.com>
Sat, 10 Oct 2015 14:50:30 +0000 (16:50 +0200)
committermayeut <mayeut@users.noreply.github.com>
Sat, 10 Oct 2015 14:50:30 +0000 (16:50 +0200)
commitb816ac185bc3e0706ff3316ca6c8288dae79cd2b
tree27bfa20593a54677de642bd2421e0a7f5ad73651
parentd92c2b21174e7296e345682ff4d24b51a94afc99
change os guessing
tools/travis-ci/run.sh