diff options
| author | Andrei Karas <akaras@inbox.ru> | 2016-10-04 16:52:00 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2018-11-02 20:44:30 +0300 |
| commit | e0275e7529a5e7eba0194080b9139d533b2dae7c (patch) | |
| tree | 8306eff7501cec9e25b167cbeb868f5734d8a44a /tools | |
| parent | 643ecc08ff91808d805edb9a094b4bfce00318d9 (diff) | |
| download | hercules-r20181205.tar.gz hercules-r20181205.tar.bz2 hercules-r20181205.tar.xz hercules-r20181205.zip | |
Remove useless parts from .gitlab-ci.ymlr20181205
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/travis.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ci/travis.sh b/tools/ci/travis.sh index fa7d5be93..2847335c1 100755 --- a/tools/ci/travis.sh +++ b/tools/ci/travis.sh @@ -144,6 +144,7 @@ case "$MODE" in ;; build) (cd tools && ./validateinterfaces.py silent) || aborterror "Interface validation error." + autoreconf ./configure $@ || (cat config.log && aborterror "Configure error, aborting build.") make -j3 || aborterror "Build failed." make plugins -j3 || aborterror "Build failed." |