summaryrefslogtreecommitdiff
path: root/tools/ci
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2016-10-04 16:52:00 +0300
committerAndrei Karas <akaras@inbox.ru>2017-09-25 18:35:27 +0300
commitdbbb65acda3f194f5a3cba18f7adfd9186eafed6 (patch)
tree92a8704f7c80c5167eae169f60b99fcd09db5e13 /tools/ci
parent5ceb5a1e1e280ae8b0de2f0931137346ed08ff7d (diff)
downloadhercules-r20171023.tar.gz
hercules-r20171023.tar.bz2
hercules-r20171023.tar.xz
hercules-r20171023.zip
Remove useless parts from .gitlab-ci.ymlr20171023
Diffstat (limited to 'tools/ci')
-rwxr-xr-xtools/ci/travis.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ci/travis.sh b/tools/ci/travis.sh
index cc1f15ee8..25aaa368d 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."