From 60d554a083602728e32ce9b1b3525f4a7b0f7d0c Mon Sep 17 00:00:00 2001
From: Per Weijnitz <per.weijnitz@gmail.com>
Date: Wed, 17 May 2017 23:24:27 +0200
Subject: Accept Debian 9 as a recognised OS.

Change the install-deps script to accept Debian 9 in addition to the
already accepted Debian 8.
---
 install-deps | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/install-deps b/install-deps
index 38982ac..55a94fb 100755
--- a/install-deps
+++ b/install-deps
@@ -366,7 +366,7 @@ elif [[ "$(uname)" == 'Linux' ]]; then
 
         install_openblas || true
     elif [[ $distribution == 'debian' ]]; then
-	if [[ $debian_major_version == '8' ]]; then
+	if [[ $debian_major_version == '8' ]] || [[ $debian_major_version == '9' ]]; then
 	    echo "==> Found Debian version ${debian_major_version}"
 	    if sudo apt-get update ; then
 	       echo "Updated successfully."
@@ -384,7 +384,7 @@ elif [[ "$(uname)" == 'Linux' ]]; then
 
 	    install_openblas || true
 	else
-	    echo "Only Jessie Debian 8 is supported for now, aborting."
+	    echo "Only Jessie Debian 8 and 9 is supported for now, aborting."
 	    exit 1
 	fi
     fi
-- 
cgit v1.2.3