[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 14:00:49 +0200 |
|
User-agent: |
Mutt/1.5.12-2006-07-14 |
Samuel Thibault, le Sun 07 Jun 2009 13:53:37 +0200, a écrit :
> 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.
(yes, the Debian GNU/Hurd system uses /usr as prefix by default, but
that's not GNU).
Samuel
- [PATCH 1/1] Provide a default prefix in Makefile, Sergiu Ivanov, 2009/06/07
- Re: [PATCH 1/1] Provide a default prefix in Makefile, Samuel Thibault, 2009/06/07
- Re: [PATCH 1/1] Provide a default prefix in Makefile,
Samuel Thibault <=
- [PATCH] Don't abuse $(prefix) for finding build-time files., Thomas Schwinge, 2009/06/16
- Re: [PATCH] Don't abuse $(prefix) for finding build-time files., Sergiu Ivanov, 2009/06/18
- Some more about Git usage (was: [PATCH] Don't abuse $(prefix) for finding build-time files.), Thomas Schwinge, 2009/06/19
- Re: Some more about Git usage, olafBuddenhagen, 2009/06/22
- Re: Some more about Git usage, Sergiu Ivanov, 2009/06/23
- Re: [PATCH] Don't abuse $(prefix) for finding build-time files., Thomas Schwinge, 2009/06/19
- Re: [PATCH] Don't abuse $(prefix) for finding build-time files., Sergiu Ivanov, 2009/06/20
- Re: [PATCH] Don't abuse $(prefix) for finding build-time files., olafBuddenhagen, 2009/06/22
- [PATCH] Make it possible to use ``-'' for reading from stdin., Thomas Schwinge, 2009/06/23
- Re: [PATCH] Make it possible to use ``-'' for reading from stdin., olafBuddenhagen, 2009/06/29