Hi Valentin,
"make uninstall" should work now. I only tested with --prefix=
$HOME/lilyroot, I leave testing as root with --prefix=/usr/local up to
you :-) It shouldn't do anything nasty: rm is exclusively used to
delete files previsouly installed by "make [web-]install", and rmdir
only removes e
2008/8/20 Valentin Villenave <[EMAIL PROTECTED]>:
> 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
Greetings,
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
a