summaryrefslogtreecommitdiffstats
path: root/build.rs
diff options
context:
space:
mode:
authorAndrew Gallant <jamslam@gmail.com>2018-02-06 18:26:23 -0500
committerAndrew Gallant <jamslam@gmail.com>2018-02-06 18:26:23 -0500
commit874f0b96a6c12658bc532c74306fb3391c64289a (patch)
tree55acaea461f9380257191bd07f802aaf21703fd4 /build.rs
parent706323ad8f2600db7d46482a7d95972b1416c0eb (diff)
argv: support hidden flags
This commit adds support for hidden flags. The purpose of hidden flags is for things that end users likely won't need unless they have a configuration file that disables ripgrep's defaults. These flags will provide a way to re-enable ripgrep's defaults.
Diffstat (limited to 'build.rs')
-rw-r--r--build.rs3
1 files changed, 3 insertions, 0 deletions
diff --git a/build.rs b/build.rs
index 93c25858..9fc3ba5e 100644
--- a/build.rs
+++ b/build.rs
@@ -99,6 +99,9 @@ fn formatted_options() -> io::Result<String> {
let mut formatted = vec![];
for arg in args {
+ if arg.hidden {
+ continue;
+ }
// ripgrep only has two positional arguments, and probably will only
// ever have two positional arguments, so we just hardcode them into
// the template.