diff options
Diffstat (limited to 'Keywords')
| -rw-r--r-- | Keywords/pkg_install.awk | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Keywords/pkg_install.awk b/Keywords/pkg_install.awk index 7128dfb06f46..4a949e725ddd 100644 --- a/Keywords/pkg_install.awk +++ b/Keywords/pkg_install.awk @@ -96,6 +96,14 @@ $1 == "@dirrmtry" { next } +$1 == "@fmtutil" { + print "@comment begin " $0 + print "@exec fmtutil-sys --missing >/dev/null" + for (i = 2; i <= NF; i++) + print "@unexec rm -f "$i"; rmdir -p `dirname "$1"` 2>/dev/null" + print "@comment end " $0 +} + # Print everything else as-is { print $0 |