diff options
author | Andrei Karas <akaras@inbox.ru> | 2016-10-04 16:52:00 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2018-04-17 20:51:25 +0300 |
commit | ed74d5cf93fbe5c8fa45d73446527b4fb5d38c8f (patch) | |
tree | c4c85f4038f39b13bdd637abab8f7a263947cb4e /tools/ci | |
parent | 6cbb5114665b9d77d1523fa2dc6998757db5f3a4 (diff) | |
download | hercules-r20180417.tar.gz hercules-r20180417.tar.bz2 hercules-r20180417.tar.xz hercules-r20180417.zip |
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 f6c799934..7e524c887 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." |