diff --git a/utils/travis.pl b/utils/travis.pl old mode 100644 new mode 100755