Note for later work to be added on this issue
This commit is contained in:
parent
2eb7082e68
commit
e7ec09b24d
1 changed files with 5 additions and 0 deletions
|
@ -825,6 +825,11 @@ the distributor and the purchaser of the hardware containing GPLed components.
|
|||
of system we are expected to use, and what commands we should run on it. Such
|
||||
instructions are not strictly required, as an obviously-named shell script may
|
||||
suffice, but they are helpful in clarifying any ambiguities that may arise.
|
||||
|
||||
% FIXME: Spend some time here (admittedly a digression: maybe refer to
|
||||
% another section later?) about how it's ok to specify a specific build
|
||||
% environment.
|
||||
|
||||
* Since the instructions didn't mention a specific distro to use, we ran the
|
||||
build on an amd64 Debian 6 machine we had, after confirming the packages were
|
||||
installed. In particular, we ran "make", as described in the instructions in
|
||||
|
|
Loading…
Reference in a new issue