diff options
Diffstat (limited to 'src/options.rs')
| -rw-r--r-- | src/options.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/options.rs b/src/options.rs index e9c1b032..64de93cc 100644 --- a/src/options.rs +++ b/src/options.rs @@ -203,6 +203,9 @@ where Arg::with_name("no-prepend-enum-name") .long("no-prepend-enum-name") .help("Do not prepend the enum name to bitfield or constant variants."), + Arg::with_name("no-include-path-detection") + .long("no-include-path-detection") + .help("Do not try to detect default include paths"), Arg::with_name("unstable-rust") .long("unstable-rust") .help("Generate unstable Rust code (deprecated; use --rust-target instead).") @@ -447,6 +450,10 @@ where builder = builder.prepend_enum_name(false); } + if matches.is_present("no-include-path-detection") { + builder = builder.detect_include_paths(false); + } + if matches.is_present("time-phases") { builder = builder.time_phases(true); } |