diff options
author | Benjamin Sago <ogham@users.noreply.github.com> | 2020-10-08 22:42:30 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-08 22:42:30 +0100 |
commit | c167046c3454bb42b962b9e3e31fad2e17464451 (patch) | |
tree | 798bd9641a1a50fc0f720ea8408d0b4282f7f79e | |
parent | 9240dbdef3905d190dfaf92d632d4f4a8bd08ca4 (diff) | |
parent | c17cf95f4c941270cdd1bf4e33b46bb39693cc4f (diff) |
Merge pull request #735 from Finermeerkat137/pull_req
add ko to compiled objects
-rw-r--r-- | src/info/filetype.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/info/filetype.rs b/src/info/filetype.rs index 922d191..3c5afeb 100644 --- a/src/info/filetype.rs +++ b/src/info/filetype.rs @@ -88,7 +88,7 @@ impl FileExtensions { } 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 } else if let Some(dir) = file.parent_dir { |