* make uninstall fails in rmdir
@ 2017-03-30 19:22 Jan Stary
2017-03-30 22:01 ` Ingo Schwarze
0 siblings, 1 reply; 2+ messages in thread
From: Jan Stary @ 2017-03-30 19:22 UTC (permalink / raw)
To: discuss
Hi Ingo,
this is 1.14.1 on a MacOSX 10.6.8
mandoc itself seems to work just fine,
but 'make uninstall' fails with the
rmdir $(DESTDIR)$(INCLUDEDIR)
as the directory was not created with 'make install',
because I have not installed the library (right?).
It's actually the last command of the uninstall target
so the failure does not stop anything else from happening,
but it still leaves the user wondering if something
was left behind (non-unistalled) when 'make uninstall' failed.
Jan
--
To unsubscribe send an email to discuss+unsubscribe@mdocml.bsd.lv
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: make uninstall fails in rmdir
2017-03-30 19:22 make uninstall fails in rmdir Jan Stary
@ 2017-03-30 22:01 ` Ingo Schwarze
0 siblings, 0 replies; 2+ messages in thread
From: Ingo Schwarze @ 2017-03-30 22:01 UTC (permalink / raw)
To: Jan Stary; +Cc: discuss
Hi Jan,
Jan Stary wrote on Thu, Mar 30, 2017 at 09:22:28PM +0200:
> this is 1.14.1 on a MacOSX 10.6.8
>
> mandoc itself seems to work just fine,
> but 'make uninstall' fails with the
>
> rmdir $(DESTDIR)$(INCLUDEDIR)
>
> as the directory was not created with 'make install',
> because I have not installed the library (right?).
Yes.
I fixed that in HEAD on March 4:
http://mdocml.bsd.lv/cgi-bin/cvsweb/Makefile.diff?r1=1.506&r2=1.507
> It's actually the last command of the uninstall target
> so the failure does not stop anything else from happening,
> but it still leaves the user wondering if something
> was left behind (non-unistalled) when 'make uninstall' failed.
Sure, that's why i fixed it.
Yours,
Ingo
--
To unsubscribe send an email to discuss+unsubscribe@mdocml.bsd.lv
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2017-03-30 22:01 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-03-30 19:22 make uninstall fails in rmdir Jan Stary
2017-03-30 22:01 ` Ingo Schwarze
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).