diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2018-07-02 15:59:24 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2018-07-03 14:24:18 -0700 |
commit | 0661c748809e0f87b717ab4b2292ed7ca644d926 (patch) | |
tree | 8a56087c8f8a59f6ef37e4fb5511a1ab7664b141 /desktop-widgets/webservices.ui | |
parent | f5659439ba44b33e802104e488880c0146d8a82d (diff) | |
download | subsurface-0661c748809e0f87b717ab4b2292ed7ca644d926.tar.gz |
build-system: add travis_wait shell functions
These come originally from https://github.com/travis-ci/travis-build and are
available when running on Travis, but not when running inside a Docker
container on Travis as we do in order to build for Android.
The goal is to provide a quasi heart-beat on STDOUT during very long running
commands - without this the wget to download Qt often times out, so that's
where we are going to use this.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets/webservices.ui')
0 files changed, 0 insertions, 0 deletions