diff options
| author | Mike Frysinger <vapier@gentoo.org> | 2010-11-18 16:25:58 -0500 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2010-11-24 22:14:33 +0100 |
| commit | 68ad6d4ee07aa8b800a0ec3f25f61d0177c43d40 (patch) | |
| tree | 2af22cf9946b7d4c99e2dcccdd31c0850cb1f755 /linux | |
| parent | 7dccbc44a84f371694ab7b38833908125df315d9 (diff) | |
auto remove empty /usr/share dir
Often times, the only reason /usr/share exists is because of documentation
installed into it. So once we're done cleaning the docs, attempt to rmdir
/usr/share. If it's empty, things will work out nicely.
[Peter: use make infrastructure to ignore errors rather than shell]
Signed-off-by: Mike Frysinger <vapier@gentoo.org>
Acked-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'linux')
0 files changed, 0 insertions, 0 deletions