add debian10 as supported platform

diff --git a/candi.sh b/candi.sh
index 86eb06970a37a0d00339c598be3c28a8349e786f..3d427e342326720c98dce888d171948f6429faeb 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -590,6 +590,7 @@ guess_platform() {
             local DESCRIPTION=$(lsb_release -d -s)
             case ${DISTRO}:${CODENAME}:${DESCRIPTION} in
                 *:*:*Debian*9*)       echo debian9;;
+                *:*:*Debian*10*)      echo debian10;;
                 *:*:*Ubuntu*)         echo ubuntu${OSVER};;
                 *:*:*openSUSE\ 12*)   echo opensuse12;;
                 *:*:*openSUSE\ 13*)   echo opensuse13;;