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/H
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
>From a5e0a005cdd16fbd1d6a14db3fcde19afd19b201 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov
Date: Sun, 7 Jun 2009 13:18:48 +0300
Subject: [PATCH] Provide a default prefix in Makefile
* Makefile: Define $prefix to be /usr if the user does not
provide and override.
---
Makefile |5 +
1 fil
