Hi Sebastian,

On Wed, 5 Sep 2018, Sebastian Schuberth wrote:

On 9/3/2018 11:10 PM, Johannes Schindelin via GitGitGadget wrote:

quoted

+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