lilypond-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: "make uninstall" doesn't remove all directories


From: John Mandereau
Subject: Re: "make uninstall" doesn't remove all directories
Date: Thu, 21 Aug 2008 22:48:32 +0200

2008/8/20 Valentin Villenave <address@hidden>:
> have you guys encountered any problem when launching "make uninstall" as root?
>
> when I do so (Mandriva 2009 x86_64), it ends with the following errors:
>
> cannot remove directory: the directory is not empty [on several
> directories, see below]
>
> /bin/sh: line 2: -rmdir: command not found
>
> and there are quite a few directories left in my tree:

I haven't used this make target for years, so I don't remember, but I
don't recall it was so buggy. I'll look at this and add web-uninstall
sooner or later (as soon as all broken links in HTML translations are
fixed, I guess).


> Isn't there any rm -rf missing in the uninstaller?

You mean "in the makefiles", don't you? ;-)

Best,
John




reply via email to

[Prev in Thread] Current Thread [Next in Thread]