From 5b08af2e8d69ce0a4cc9ce48eae9b19fe088c714 Mon Sep 17 00:00:00 2001
From: Jose Pedro Oliveira <jpo@di.uminho.pt>
Date: Thu, 22 Aug 2013 18:13:31 +0100
Subject: [PATCH] Add a small notice about the Fedora's support.

---
 util/install.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/util/install.sh b/util/install.sh
index 9091dc2..02f146f 100755
--- a/util/install.sh
+++ b/util/install.sh
@@ -637,6 +637,14 @@ function modprobe {
 }
 
 function all {
+    if [ "$DIST" = "Fedora" ]; then
+        printf "\nFedora 19 support status:\n"
+        printf "the install script options -b, -f, -n, and -p should work.\n\n"
+        printf "Just try:\n"
+        printf "    install.sh -fnp\n"
+        printf "with Fedora's kernel (3.10) and openvswitch (1.10.0) packages.\n"
+        exit 3
+    fi
     echo "Running all commands..."
     kernel
     mn_deps