replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

suggest make defconfig instead of make xconfig 

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@2849 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
kroening 2013-08-08 14:01:20 +00:00
parent 80125fe2a6
commit a896b1e514
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/html-manual/goto-cc-linux.shtml
View File

@ -34,7 +34,7 @@ http://www.kernel.org/pub/linux/kernel/v2.6/linux-2.6.39.tar.bz2
<li><p class="justified">Now ensure that you can actually
compile a kernel by doing</p>
<p>
&nbsp;&nbsp;<code>make xconfig</code><br>
&nbsp;&nbsp;<code>make defconfig</code><br>
&nbsp;&nbsp;<code>make</code></p>
<p class="justified">
These steps need to succeed before you can try to extract