diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2012-06-20 09:26:50 +0000 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2012-06-20 09:26:50 +0000 |
| commit | d97e0c2904a0a2613ad0d28d0838488af093944e (patch) | |
| tree | 36197a559f28e77c2ceb4af91f36cbc375180e2e /media-libs | |
| parent | marked x86 per bug 422357 (diff) | |
| download | historical-d97e0c2904a0a2613ad0d28d0838488af093944e.tar.gz historical-d97e0c2904a0a2613ad0d28d0838488af093944e.tar.bz2 historical-d97e0c2904a0a2613ad0d28d0838488af093944e.zip | |
prune_libtool_files(): report .a removal only if it exists, and explain the reasoning for it.
Diffstat (limited to 'media-libs')
0 files changed, 0 insertions, 0 deletions