diff options
author | Dmitry <[email protected]> | 2020-08-14 19:43:34 +0100 |
---|---|---|
committer | Dmitry <[email protected]> | 2020-08-14 20:37:43 +0100 |
commit | 73315c9168901ef6d676f017daaa9b4976380c03 (patch) | |
tree | 0fae548ddc8dbf3fdfd553e4020db8e6826c8d84 /xtask/src/codegen | |
parent | 178c3e135a2a249692f7784712492e7884ae0c00 (diff) |
synchronizing changes
Diffstat (limited to 'xtask/src/codegen')
-rw-r--r-- | xtask/src/codegen/gen_unstable_future_descriptor.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/xtask/src/codegen/gen_unstable_future_descriptor.rs b/xtask/src/codegen/gen_unstable_future_descriptor.rs index 3f3beb591..f220f85d3 100644 --- a/xtask/src/codegen/gen_unstable_future_descriptor.rs +++ b/xtask/src/codegen/gen_unstable_future_descriptor.rs | |||
@@ -15,8 +15,7 @@ fn generate_descriptor(src_dir: PathBuf) -> Result<TokenStream> { | |||
15 | .filter_map(|e| e.ok()) | 15 | .filter_map(|e| e.ok()) |
16 | .filter(|entry| { | 16 | .filter(|entry| { |
17 | // Get all `.md ` files | 17 | // Get all `.md ` files |
18 | entry.file_type().is_file() | 18 | entry.file_type().is_file() && entry.path().extension().unwrap_or_default() == "md" |
19 | && entry.path().extension().unwrap_or_default() == "md" | ||
20 | }) | 19 | }) |
21 | .collect::<Vec<_>>(); | 20 | .collect::<Vec<_>>(); |
22 | 21 | ||