diff options
author | Andrew Thompson <andrew@hijacked.us> | 2014-02-06 01:04:35 -0500 |
---|---|---|
committer | Andrew Thompson <andrew@hijacked.us> | 2014-02-06 01:04:35 -0500 |
commit | 184edc2331042a59e6f1ae3d29306067f55c36e7 (patch) | |
tree | e68d145ec96fcc821aa1e0fdc5302b471f298948 /rebar.config.sample | |
parent | daf1428f958ddcd59fbe0b060f96b889745db34c (diff) | |
parent | 4ca7c8417971239ac773c530974e9acce327cc86 (diff) |
Merge pull request #188 from massemanet/xref_extra_path
Xref extra path
Diffstat (limited to 'rebar.config.sample')
-rw-r--r-- | rebar.config.sample | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/rebar.config.sample b/rebar.config.sample index e6071bd..30d28d0 100644 --- a/rebar.config.sample +++ b/rebar.config.sample @@ -221,6 +221,11 @@ {xref_warnings, false}. +%% optional extra paths to include in xref:set_library_path/2. +%% specified relative location of rebar.config. +%% e.g. {xref_extra_paths,["../gtknode/src"]} +{xref_extra_paths,[]}. + %% xref checks to run {xref_checks, [undefined_function_calls, undefined_functions, locals_not_used, exports_not_used, |