summaryrefslogtreecommitdiff
path: root/tools/ci
diff options
context:
space:
mode:
Diffstat (limited to 'tools/ci')
-rwxr-xr-xtools/ci/travis.sh5
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: {