From 10d999d7abde469904a9069f67ce77d3e3894f9c 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>
(cherry picked from commit ac3d74b0b4ca31d757f9c458dad3387925f8734c)
Signed-off-by: Victor Vieux <victorvieux@gmail.com>
---
 hack/install.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/hack/install.sh b/hack/install.sh
index cc816324cf..23f202319f 100644
--- a/hack/install.sh
+++ b/hack/install.sh
@@ -113,6 +113,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"
 					;;