Merge pull request #735 from Finermeerkat137/pull_req

add ko to compiled objects
This commit is contained in:
Benjamin Sago 2020-10-08 22:42:30 +01:00 committed by GitHub
commit c167046c34
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -88,7 +88,7 @@ impl FileExtensions {
} }
fn is_compiled(&self, file: &File) -> bool { fn is_compiled(&self, file: &File) -> bool {
if file.extension_is_one_of( &[ "class", "elc", "hi", "o", "pyc", "zwc" ]) { if file.extension_is_one_of( &[ "class", "elc", "hi", "o", "pyc", "zwc", "ko" ]) {
true true
} }
else if let Some(dir) = file.parent_dir { else if let Some(dir) = file.parent_dir {