Hi Sebastian, On Wed, 5 Sep 2018, Sebastian Schuberth wrote: > On 9/3/2018 11:10 PM, Johannes Schindelin via GitGitGadget wrote: > > > +if test -n "$TRAVIS_COMMIT" > > +then > > + # We are running within Travis CI > > Personally, I'd find a check like > > if test "$TRAVIS" = "true" > > more speaking (also see [1]). Good call. Will fix, Dscho > > [1] https://docs.travis-ci.com/user/environment-variables/ > > -- > Sebastian Schuberth > >
