diff options
author | Per Weijnitz <per.weijnitz@gmail.com> | 2017-05-18 00:24:27 +0300 |
---|---|---|
committer | Per Weijnitz <per.weijnitz@gmail.com> | 2017-05-19 11:01:43 +0300 |
commit | 60d554a083602728e32ce9b1b3525f4a7b0f7d0c (patch) | |
tree | 041c6ce307b8588c35791c3bcf45fc5839011261 | |
parent | ba1adb41109dd5d65f9c5ba278a774e2fad67b17 (diff) |
Accept Debian 9 as a recognised OS.
Change the install-deps script to accept Debian 9 in addition to the
already accepted Debian 8.
-rwxr-xr-x | install-deps | 4 |
1 files 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 |