[openrtm-commit:02764] r3017 - trunk/OpenRTM-aist/build

[openrtm ＠ openrtm.org]

Author: kawauchi
Date: 2017-08-23 17:55:57 +0900 (Wed, 23 Aug 2017)
New Revision: 3017

Modified:
   trunk/OpenRTM-aist/build/pkg_install_debian.sh
Log:
[compat,->RELENG_1_2] Support for 'stretch' has been added. refs #4164

Modified: trunk/OpenRTM-aist/build/pkg_install_debian.sh
===================================================================
--- trunk/OpenRTM-aist/build/pkg_install_debian.sh	2017-08-16 08:59:45 UTC (rev 3016)
+++ trunk/OpenRTM-aist/build/pkg_install_debian.sh	2017-08-23 08:55:57 UTC (rev 3017)
@@ -239,7 +239,7 @@
 # コードネーム取得
 #---------------------------------------
 check_codename () {
-  cnames="sarge etch lenny squeeze wheezy jessie"
+  cnames="sarge etch lenny squeeze wheezy jessie stretch"
   for c in $cnames; do
     if test -f "/etc/apt/sources.list"; then
       res=`grep $c /etc/apt/sources.list`