diff options
Diffstat (limited to 'pipelines/gun')
| -rw-r--r-- | pipelines/gun | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pipelines/gun b/pipelines/gun index 6cbb80a..22c2708 100644 --- a/pipelines/gun +++ b/pipelines/gun @@ -59,7 +59,7 @@ { "type": "script", "name": "FreeBSD", - "command": "gmake distclean\r\ngmake -k ci ci-auto-cleanup\r\ngmake dialyze LATEST_ERLANG_OTP=1", + "command": "gmake distclean\r\ngmake -k ci ci-auto-cleanup AUTO_CI_HIPE=\r\ngmake dialyze LATEST_ERLANG_OTP=1", "artifact_paths": "logs.html", "branch_configuration": "", "env": { |