diff options
| author | Theo de Raadt <deraadt@cvs.openbsd.org> | 2017-08-12 02:45:57 +0000 |
|---|---|---|
| committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 2017-08-12 02:45:57 +0000 |
| commit | bc606b6221cbeccca32b896056a1faee4a8caaf6 (patch) | |
| tree | cc7b1bba70882424c53c9c0cfdae69309079425f /distrib | |
| parent | 417f5b172035797439150c2b3651c20ece0ceb3a (diff) | |
sync
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/sets/lists/comp/mi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/distrib/sets/lists/comp/mi b/distrib/sets/lists/comp/mi index 2eff700af1f..64420ffe86b 100644 --- a/distrib/sets/lists/comp/mi +++ b/distrib/sets/lists/comp/mi @@ -2,6 +2,9 @@ ./usr/bin/c++ ./usr/bin/c++filt ./usr/bin/cpp +./usr/bin/ctfconv +./usr/bin/ctfdump +./usr/bin/ctfstrip ./usr/bin/flex ./usr/bin/flex++ ./usr/bin/gprof @@ -1496,6 +1499,9 @@ ./usr/share/man/man1/ar.1 ./usr/share/man/man1/c++filt.1 ./usr/share/man/man1/clang-local.1 +./usr/share/man/man1/ctfconv.1 +./usr/share/man/man1/ctfdump.1 +./usr/share/man/man1/ctfstrip.1 ./usr/share/man/man1/flex.1 ./usr/share/man/man1/gcc-local.1 ./usr/share/man/man1/gprof.1 |