Hi, On Wed, 4 Aug 2021 16:23:23 +0200 Peter Bex <pe...@more-magic.net> wrote:
> On Tue, Aug 03, 2021 at 07:06:23PM +0300, Lassi Kortela wrote: >> Patch attached to fix the problem. > > Thanks, pushed! > >> Even with this patch applied, `make uninstall` still leaves behind some >> empty directories: >> >> |-- bin >> |-- include >> | `-- chicken >> |-- lib >> | `-- chicken >> `-- share >> `-- man >> `-- man1 >> >> This is probably OK? > > I think this is normal - AFAIK most programs leave around directories. > But I suppose we could delete lib/chicken and include/chicken. > > What do the other hackers think? I think the slightly tricky thing is finding out whether the directories are actually empty after the CHICKEN core files are deleted (e.g., some other program wrote files in there for whatever reason). In case the directories are not empty after the deletion of CHICKEN core files, I think they should NOT be deleted. All the best. Mario -- http://parenteses.org/mario
