On Wed, 4 Aug 2021 22:02:18 +0300 Lassi Kortela wrote:
>> Indeed, that does the trick on *nix, even though we won't be able to
>> catch rmdir errors in case it fails on empty directories, but I think
>> that's not too bad in this case.
>
> Agreed. It will just write an error message on stderr in
https://docs.microsoft.com/en-us/windows-server/administration/windows-commands/rmdir
and my own Windows experience say that Windows rmdir behaves the same as
Posix rmdir. A long time ago I used a system in which if you deleted an
empty directory foo, all its files became children of foo's parent,
Indeed, that does the trick on *nix, even though we won't be able to
catch rmdir errors in case it fails on empty directories, but I think
that's not too bad in this case.
Agreed. It will just write an error message on stderr in that case.
Any idea how to do something equivalent on Windows?
On Wed, 4 Aug 2021 21:43:31 +0300 Lassi Kortela wrote:
>> 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
On Wed, Aug 4, 2021 at 2:38 PM Mario Domenech Goulart
wrote:
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
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 sh
Hi,
On Wed, 4 Aug 2021 16:23:23 +0200 Peter Bex 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
>> |
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
>
Patch attached to fix the problem.
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?
diff --git a/rules.make b/rules.make
index 7f05