From: Uwe Köcher Date: Fri, 22 Jan 2021 22:52:55 +0000 (+0100) Subject: guess_platform: use major version for debian as well X-Git-Tag: v9.3.0-r3~28^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=13d12d7602993cda6664bcc166bb8233bd93c647;p=candi.git guess_platform: use major version for debian as well --- diff --git a/candi.sh b/candi.sh index 83eed8c..55d57b4 100755 --- a/candi.sh +++ b/candi.sh @@ -589,7 +589,7 @@ guess_platform() { echo rhel${OS_MAJOR_VER} elif [ "$OS_ID" == "debian" ]; then - echo debian${OS_VERSIONID} + echo debian${OS_MAJOR_VER} elif [ "$OS_ID" == "ubuntu" ]; then echo ubuntu${OS_MAJOR_VER}