From ac3d74b0b4ca31d757f9c458dad3387925f8734c Mon Sep 17 00:00:00 2001
From: Felix Abecassis <fabecassis@nvidia.com>
Date: Thu, 26 Jan 2017 10:51:08 -0800
Subject: [PATCH] install: map debian_version 9.X to debian stretch

Signed-off-by: Felix Abecassis <fabecassis@nvidia.com>
---
 hack/install.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/hack/install.sh b/hack/install.sh
index 9f482234df..60d1957d8e 100644
--- a/hack/install.sh
+++ b/hack/install.sh
@@ -178,6 +178,9 @@ check_forked() {
 				lsb_dist=debian
 				dist_version="$(cat /etc/debian_version | sed 's/\/.*//' | sed 's/\..*//')"
 				case "$dist_version" in
+					9)
+						dist_version="stretch"
+					;;
 					8|'Kali Linux 2')
 						dist_version="jessie"
 					;;