bug-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 1/1] Provide a default prefix in Makefile


From: Samuel Thibault
Subject: Re: [PATCH 1/1] Provide a default prefix in Makefile
Date: Sun, 7 Jun 2009 13:53:37 +0200
User-agent: Mutt/1.5.12-2006-07-14

Sergiu Ivanov, le Sun 07 Jun 2009 13:30:12 +0300, a écrit :
> * Makefile: Define $prefix to be /usr if the user does not
> provide and override.

Errr, no, the GNU system uses an empty prefix by default.

Samuel




reply via email to

[Prev in Thread] Current Thread [Next in Thread]