Re: shall `make uninstall' remove directories?

[Lars J. Aas]

What if a file was created in builddir when you do make install?
When you do make uninstall, a comparison is done between the creation
time of that file, and the creation time of all the empty directories.
Only directories newer than the reference file is deleted.  If the
reference file already exists, don't touch it (you're probably doing
a make install on top of an old one), and when a make uninstall is
completed, the reference file is removed.

  Lars J