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