From: David Wells Date: Thu, 23 Sep 2021 15:21:58 +0000 (-0400) Subject: Fix an undefined variable error. X-Git-Tag: v9.3.3-r1~1^2~2^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=45cd8ae2e5716394c6e824c537fd8409efeaf9c4;p=candi.git Fix an undefined variable error. --- diff --git a/candi.sh b/candi.sh index d032851..a095511 100755 --- a/candi.sh +++ b/candi.sh @@ -646,10 +646,10 @@ guess_platform() { elif [ "${OS_NAME}" == "openSUSE Leap" ]; then echo opensuse15 - elif [ "${PRETTY_NAME}" == "Arch Linux" ]; then + elif [ "${OS_PRETTY_NAME}" == "Arch Linux" ]; then echo arch - elif [ "${PRETTY_NAME}" == "Manjaro Linux" ]; then + elif [ "${OS_PRETTY_NAME}" == "Manjaro Linux" ]; then echo arch fi fi