From 44bb1ced6a0c26f14bcb0743c72a15c8a23bd845 Mon Sep 17 00:00:00 2001 From: Colin Bradley Date: Fri, 17 Aug 2012 16:12:24 +0100 Subject: [PATCH] Quick hack to check for Fedora 16 and set as Fedora distro. --- install-all.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/install-all.sh b/install-all.sh index 16a9d2ee..110a4228 100755 --- a/install-all.sh +++ b/install-all.sh @@ -90,6 +90,12 @@ if [ $? -eq 0 ]; then DIST=fedora fi +# quick hack check for Fedora 16 +uname -a | grep --ignore-case fc16 +if [ $? -eq 0 ]; then + DIST=fedora +fi + uname -a | grep --ignore-case ubuntu if [ $? -eq 0 ]; then DIST=ubuntu