Robert Schäfer 4489bbe662 Use export for Travis variable for convenience
This way, we don't need to set the environment variable in the
`trigger_build.sh` script.
2018-12-10 00:28:56 +01:00
..