On Fri, Dec 15, 2006 at 01:26:50PM +, Simon Marlow wrote:
Norman Ramsey wrote:
'make uninstall' silently does nothing:
I'm not aware of 'make uninstall' ever working, in fact I don't think I've
ever tried it. Probably we should just disable it, I'm not sure it's worth
the trouble to
Norman Ramsey wrote:
'make uninstall' silently does nothing:
I'm not aware of 'make uninstall' ever working, in fact I don't think I've ever
tried it. Probably we should just disable it, I'm not sure it's worth the
trouble to get it right. Ian, what do you think?
P.S. The web interface
'make uninstall' silently does nothing:
: [EMAIL PROTECTED] 10261 ; make -n uninstall
for i in ; do \
if test $i; then\
echo rm -f /usr/local/bin/`basename $i`;\
rm -f
