diff options
author | Andrei Karas <akaras@inbox.ru> | 2016-10-04 16:52:00 +0300 |
---|---|---|
committer | gumi <git@gumi.ca> | 2020-07-29 15:03:09 +0000 |
commit | b1efc18d7041dbb60cfa52b1b3938587de76410b (patch) | |
tree | 28ce84a6c54e24cbb6eb904bfaf54580283407dd /tools/ci | |
parent | b2ee5ea09dac72fc593159380e39c2b5f82c41e5 (diff) | |
download | hercules-b1efc18d7041dbb60cfa52b1b3938587de76410b.tar.gz hercules-b1efc18d7041dbb60cfa52b1b3938587de76410b.tar.bz2 hercules-b1efc18d7041dbb60cfa52b1b3938587de76410b.tar.xz hercules-b1efc18d7041dbb60cfa52b1b3938587de76410b.zip |
Remove useless parts from .gitlab-ci.yml
Diffstat (limited to 'tools/ci')
-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 a1a3c7700..5222f0f12 100755 --- a/tools/ci/travis.sh +++ b/tools/ci/travis.sh @@ -167,6 +167,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." |