X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL.Linux;h=78152b6940f7a6a5b04847d014b38a7c6352d121;hb=refs%2Fheads%2Fof1.1;hp=0d3c31025a7e54466e6d5f3bdadfbd5671f5ad8b;hpb=012f5c4bd93337ad2445bd0960b85108d867c2da;p=openvswitch

diff --git a/INSTALL.Linux b/INSTALL.Linux
index 0d3c3102..78152b69 100644
--- a/INSTALL.Linux
+++ b/INSTALL.Linux
@@ -100,6 +100,14 @@ you have the following:
 
     - Python 2.x, for x >= 4.
 
+If you are going to extensively modify Open vSwitch, please consider
+installing the following to obtain better warnings:
+
+    - "sparse" version 0.4.4 or later
+      (http://www.kernel.org/pub/software/devel/sparse/dist/).
+
+    - GNU make.
+
 Installation Requirements
 -------------------------
 
@@ -187,6 +195,9 @@ Prerequisites section, follow the procedure below to build.
 
       % make
 
+   For improved warnings if you installed "sparse" (see
+   "Prerequisites"), add C=1 to the "make" command line.
+
 4. Become root by running "su" or another program.
 
 5. Run "make install" to install the executables and manpages into the