Quick hack to check for Fedora 16 and set as Fedora distro.

2012-08-17 16:12:24 +01:00
parent 4484c2b03a
commit 44bb1ced6a
1 changed files with 6 additions and 0 deletions
--- 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