diff options
Diffstat (limited to 'dev_tools')
| -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() { |