diff --git a/Tools/CI-linux-install.sh b/Tools/CI-linux-install.sh index 1c6686d86..99614550c 100644 --- a/Tools/CI-linux-install.sh +++ b/Tools/CI-linux-install.sh @@ -103,9 +103,9 @@ case "$SWIGLANG" in $RETRY sudo apt-get -qq update $RETRY sudo apt-get -qq install python${VER}-dev WITHLANG=$SWIGLANG$PY3=$SWIGLANG$VER - else - $RETRY sudo apt-get install -qq python${PY3}-dev - WITHLANG=$SWIGLANG$PY3 + else + $RETRY sudo apt-get install -qq python${PY3}-dev + WITHLANG=$SWIGLANG$PY3 fi ;; "r")