Changeset - e7ec09b24d11
[Not reviewed]
0 1 0
Bradley Kuhn (bkuhn) - 9 years ago 2014-10-25 06:57:52
bkuhn@ebb.org
Note for later work to be added on this issue
1 file changed with 5 insertions and 0 deletions:
0 comments (0 inline, 0 general)
enforcement-case-studies.tex
Show inline comments
...
 
@@ -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
0 comments (0 inline, 0 general)