diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/travis.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/ci/travis.sh b/tools/ci/travis.sh index 4ba7e94b5..633248a1a 100755 --- a/tools/ci/travis.sh +++ b/tools/ci/travis.sh @@ -125,6 +125,11 @@ case "$MODE" in make plugin.script_mapquit -j3 || aborterror "Build failed." make test || aborterror "Build failed." ;; + buildhpm) + ./configure $@ || (cat config.log && aborterror "Configure error, aborting build.") + cd tools/HPMHookGen + make + ;; test) cat > conf/travis_sql_connection.conf << EOF sql_connection: { |