Merge: tests.sh: special case when running in gitlab_ci
authorJean Privat <jean@pryen.org>
Mon, 18 Feb 2019 16:26:57 +0000 (11:26 -0500)
committerJean Privat <jean@pryen.org>
Mon, 18 Feb 2019 16:26:57 +0000 (11:26 -0500)
When run is a containerized environment, some tests may behave differently.
This prepares some special cases for them.

Cf #2732

Pull-Request: #2735


Trivial merge