summaryrefslogtreecommitdiff
path: root/rel
diff options
context:
space:
mode:
authorMagnus <mfeuer@jaguarlandrover.com>2014-09-08 17:31:26 -0700
committerMagnus <mfeuer@jaguarlandrover.com>2014-09-08 17:31:26 -0700
commitf6e33e820690b9405bfac08d7eb8eab5cab74ea9 (patch)
tree618fd745f492c958908d2d50bc7a6cc1ac79b064 /rel
parentc502d6b47828d9be9122dd40cfd570cc186a28d2 (diff)
downloadrvi_core-f6e33e820690b9405bfac08d7eb8eab5cab74ea9.tar.gz
Minor fixes, allowing RVI to be built and executed on tizen
Signed-off-by: Magnus <mfeuer@jaguarlandrover.com>
Diffstat (limited to 'rel')
-rw-r--r--rel/reltool.config3
1 files changed, 2 insertions, 1 deletions
diff --git a/rel/reltool.config b/rel/reltool.config
index 8405060..ac2bdfd 100644
--- a/rel/reltool.config
+++ b/rel/reltool.config
@@ -24,7 +24,8 @@
"^erts.*/bin/(dialyzer|typer)",
"^erts.*/(doc|info|include|lib|man|src)"]},
{excl_app_filters, ["\.gitignore"]},
- {app, rvi, [{mod_cond, app}, {incl_cond, include}, {lib_dir, ".."}]}
+ {app, rvi, [{mod_cond, app}, {incl_cond, include}, {lib_dir, ".."}]},
+ {app, hipe, [{incl_cond, exclude}]}
]}.
{target_dir, "rvi"}.