|
From: | Aharon Robbins |
Subject: | Re: [bug-gawk] gawk-4.1.1 and $(RM) |
Date: | Tue, 12 Aug 2014 06:17:24 +0300 |
User-agent: | Heirloom mailx 12.5 6/20/10 |
Hi. Thanks for the report. The use of $(DESTDIR) for uninstall has already been fixed in the git repo; several other people have reported it. I'll fix the use of $(RM). Much thanks, Arnold
[Prev in Thread] | Current Thread | [Next in Thread] |