diff options
| author | Gabor Kelemen <kelemeng@ubuntu.com> | 2022-09-29 18:04:18 +0200 |
|---|---|---|
| committer | Gabor Kelemen <kelemeng@ubuntu.com> | 2022-09-30 08:15:04 +0200 |
| commit | b06ba49a0ee6e3f295e8dc50e84e8a45bb3baafa (patch) | |
| tree | 303c323199827439ea937e665525109b65a1dba1 /bin | |
| parent | a3d3d8e0a994069986400c0e08701bf4f8a94ba0 (diff) | |
Drop unused gen-iwyu-dummy-lib.awk script
missed from 079659eb7d15f15a37f1f508beb5cffe24fe6f25
when the code using it was dropped
Change-Id: I7d769f8be75335079a4a24391d120505d7bd6c84
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/140741
Tested-by: Jenkins
Reviewed-by: Gabor Kelemen <kelemeng@ubuntu.com>
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/gen-iwyu-dummy-lib.awk | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/bin/gen-iwyu-dummy-lib.awk b/bin/gen-iwyu-dummy-lib.awk deleted file mode 100644 index 464d9515c7ef..000000000000 --- a/bin/gen-iwyu-dummy-lib.awk +++ /dev/null @@ -1,34 +0,0 @@ -BEGIN { domatch = 0; } - -{ - if ($0 ~ /use_external(s)?,/ ) - { - if (index($0, "))")) - { - gsub(/.*,/, ""); - gsub(/\)+/, ""); - if (!($0 in exts)) - { - exts[$0]; - print $0; - } - } - else - { - domatch = 1; - } - } - else if ($0 ~ /\)\)/ ) - { - domatch = 0; - } - else if (domatch == 1) - { - if (!($1 in exts)) - { - exts[$1]; - print $1; - } - } -} - |