diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-06-29 12:41:00 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-06-29 12:41:00 +0800 |
| commit | f20c9e55fd214c092610d8f3fb7881551c0d3c87 (patch) | |
| tree | 188912320c07bba26180f64a368a89679a1cc462 /dev_tools/src | |
| parent | 020ec744796628635a7fc066f5bb49b122114761 (diff) | |
feat(ci): add Windows path separator to ignore dirs
Diffstat (limited to 'dev_tools/src')
| -rw-r--r-- | dev_tools/src/bin/ci.rs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/dev_tools/src/bin/ci.rs b/dev_tools/src/bin/ci.rs index 3fb306e..b138fa1 100644 --- a/dev_tools/src/bin/ci.rs +++ b/dev_tools/src/bin/ci.rs @@ -6,7 +6,11 @@ use tools::{ }; fn get_ignore_dirs() -> Vec<String> { - vec![".temp".to_string(), "mling/res".to_string()] + vec![ + ".temp".to_string(), + "mling/res".to_string(), + "mling\\res".to_string(), + ] } fn print_help() { |