diff options
| author | Đoàn Trần Công Danh <congdanhqx@gmail.com> | 2020-08-27 07:14:33 +0700 |
|---|---|---|
| committer | Leah Neukirchen <leah@vuxu.org> | 2020-08-27 12:04:02 +0200 |
| commit | 4134dc9deda7a057f4e34a2a53d56f486fef11c5 (patch) | |
| tree | 57bde5368d0ffba35c26f8c659f57d22d31e2d72 | |
| parent | c3211fbcc37dfbc1ba30edd3bec15afd940501f1 (diff) | |
| download | xtools-4134dc9deda7a057f4e34a2a53d56f486fef11c5.tar.gz xtools-4134dc9deda7a057f4e34a2a53d56f486fef11c5.tar.xz xtools-4134dc9deda7a057f4e34a2a53d56f486fef11c5.zip | |
xlint: accept ignore_elf_dirs and ignore_elf_files
They're introduced by e0979275b4 (11-pkglint-elf-in-usrshare: allow explicit setting of exceptions, 2020-07-16) Closes: #195 [via git-merge-pr]
| -rwxr-xr-x | xlint | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/xlint b/xlint index f72a8cb..1707fca 100755 --- a/xlint +++ b/xlint @@ -184,6 +184,8 @@ go_package go_mod_mode homepage hostmakedepends +ignore_elf_dirs +ignore_elf_files keep_libtool_archives kernel_hooks_version lib32depends |