|
Hi Keri,
Thank you for your remarks and associated patches.
I will include them in the main branch.
Daniel
On 07/22/2018 01:36 PM, Keri Harris wrote:
Hi,
There are a number of Makefile rules which test whether the target
directory has been set to 'none' by the configure script. If they
have been set to 'none' then nothing should be installed. However,
these rules do not consider $DESTDIR so it's possible to end up
inadvertently installing unwanted files to $DESTDIR/none/.
I've attached a patch for this.
Thanks
Keri
_______________________________________________
Bug-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-prolog
|
_______________________________________________
Bug-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-prolog
