From 576eebff08472ad0b20ccda5206b6e254d3a8d5b Mon Sep 17 00:00:00 2001
From: Sebastian Kinnewig <kinnewig@ifam.uni-hannover.de>
Date: Wed, 17 Jun 2020 09:44:23 +0200
Subject: [PATCH] add debian10 as supported platform

---
 candi.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/candi.sh b/candi.sh
index 86eb069..3d427e3 100755
--- 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;;
-- 
2.39.5