Merge branch 'master' of https://github.com/dart-lang/cli_util
diff --git a/tool/travis.sh b/tool/travis.sh
old mode 100644
new mode 100755