Usually kernel install is unnecessary, so don't quit if it fails

2015-03-23 17:42:51 -07:00
parent 269cecd3ee
commit 90ea6c6bd1
1 changed files with 4 additions and 1 deletions
@@ -102,7 +102,10 @@ OF13_SWITCH_REV=${OF13_SWITCH_REV:-""}
 function kernel {
    echo "Install Mininet-compatible kernel if necessary"
    sudo apt-get update
-    $install linux-image-$KERNEL_NAME
+    if ! $install linux-image-$KERNEL_NAME; then
+        echo "Could not install linux-image-$KERNEL_NAME"
+        echo "Skipping - assuming installed kernel is OK."
+    fi
 }

 function kernel_clean {