diff options
| author | Dmitry <[email protected]> | 2020-08-09 17:55:45 +0100 |
|---|---|---|
| committer | Dmitry <[email protected]> | 2020-08-09 17:55:45 +0100 |
| commit | b602c73911864a86c94d8b306648738f5f995167 (patch) | |
| tree | cb91b63d3af273157ee64d217c97fe6a4cc1c293 /xtask/src/codegen | |
| parent | cff0fba5e5fb4a5de470bf923b93b0bdd89d9efb (diff) | |
fixes
Diffstat (limited to 'xtask/src/codegen')
| -rw-r--r-- | xtask/src/codegen/gen_unstable_future_descriptor.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xtask/src/codegen/gen_unstable_future_descriptor.rs b/xtask/src/codegen/gen_unstable_future_descriptor.rs index 75b603d7d..12b68378e 100644 --- a/xtask/src/codegen/gen_unstable_future_descriptor.rs +++ b/xtask/src/codegen/gen_unstable_future_descriptor.rs | |||
| @@ -21,7 +21,7 @@ pub fn generate_unstable_future_descriptor(mode: Mode) -> Result<()> { | |||
| 21 | .args(&["sparse-checkout", "set", "/src/doc/unstable-book/src/"]) | 21 | .args(&["sparse-checkout", "set", "/src/doc/unstable-book/src/"]) |
| 22 | .output()?; | 22 | .output()?; |
| 23 | Command::new("git").current_dir(path.clone()).args(&["pull", "origin", "master"]).output()?; | 23 | Command::new("git").current_dir(path.clone()).args(&["pull", "origin", "master"]).output()?; |
| 24 | //TODO: check git, and do pull | 24 | //FIXME: check git, and do pull |
| 25 | 25 | ||
| 26 | let src_dir = path.join("src/doc/unstable-book/src"); | 26 | let src_dir = path.join("src/doc/unstable-book/src"); |
| 27 | let files = WalkDir::new(src_dir.join("language-features")) | 27 | let files = WalkDir::new(src_dir.join("language-features")) |