install: map debian_version 9.X to debian stretch

Signed-off-by: Felix Abecassis <fabecassis@nvidia.com> Upstream-commit: ac3d74b0b4ca31d757f9c458dad3387925f8734c Component: engine
2017-01-26 10:51:08 -08:00
parent 22f59a404a
commit fce8b108f3
1 changed files with 3 additions and 0 deletions
@@ -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"
 					;;