diff options
| author | Christopher Durham <cad97@cad97.com> | 2018-08-23 04:24:15 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-23 04:24:15 -0400 |
| commit | a15df80e967f2bb35b95a1e717a3fbe6f272f765 (patch) | |
| tree | f247ed7ebd086347f33bdb1bbc085360a74835a4 | |
| parent | 693c7d69f94b6c1e41c4411bb27442290d7d6916 (diff) | |
Consider "dev" as nightly for feature (un)gating
Closes #2940
| -rw-r--r-- | src/bin/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bin/main.rs b/src/bin/main.rs index e5f5b625eba..760333955a0 100644 --- a/src/bin/main.rs +++ b/src/bin/main.rs @@ -160,7 +160,7 @@ fn make_opts() -> Options { fn is_nightly() -> bool { option_env!("CFG_RELEASE_CHANNEL") - .map(|c| c == "nightly") + .map(|c| c == "nightly" || c == "dev") .unwrap_or(false) } |