From 899620808446c4ec94c5c5e301d5ce922e39e303 Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Mon, 13 Feb 2012 18:19:24 -0800
Subject: [PATCH] dkms needs kernel headers.

---
 util/install.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/util/install.sh b/util/install.sh
index 56046c5..392d3c6 100755
--- a/util/install.sh
+++ b/util/install.sh
@@ -201,6 +201,9 @@ function of {
 function ovs {
     echo "Installing Open vSwitch..."
 
+    # Required for module build/dkms install
+    $install $KERNEL_HEADERS
+
     # First see if we have packages
     # XXX wget -c seems to fail from github/amazon s3
     if wget $OVS_PACKAGE_LOC/$OVS_PACKAGE_NAME; then
@@ -235,7 +238,6 @@ function ovs {
         fi
     fi
 
-    $install $KERNEL_HEADERS
     $install pkg-config gcc make python-dev libssl-dev libtool
 
     if [ "$DIST" = "Debian" ]; then