Help Travis

Bash scripts

If Travis fails with permission denied on one of the scripts the following solution might do the trick:

git update-index --add --chmod=+x FILENAME.sh

This adds execution permission to the checked in file.