diff options
author | Andrei Karas <akaras@inbox.ru> | 2016-10-04 16:52:00 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2017-04-04 22:50:49 +0300 |
commit | 9908c3faa7a50b69c5566774e3bed5b7b2d68177 (patch) | |
tree | c5d8b3e5446c7799cdeed8b0abf07c135d7119d8 /tools | |
parent | 4ce0a7a8b4906e50623d145a2253e3f4d9ff82aa (diff) | |
download | hercules-r20170411.tar.gz hercules-r20170411.tar.bz2 hercules-r20170411.tar.xz hercules-r20170411.zip |
Remove useless parts from .gitlab-ci.ymlr20170411
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 9a6322df6..f20996263 100755 --- a/tools/ci/travis.sh +++ b/tools/ci/travis.sh @@ -119,6 +119,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." |