CI: Fix typo in script.

28dafcd7 · Stefan Behnel · ce56d839 · 28dafcd7
Commit 28dafcd7 authored May 25, 2021 by Stefan Behnel
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Tools/ci-run.sh Tools/ci-run.sh +1 -1

No files found.
--- a/Tools/ci-run.sh
+++ b/Tools/ci-run.sh
@@ -3,7 +3,7 @@
 GCC_VERSION=${GCC_VERSION:=8}

 # Set up compilers
-if [ "${OS_NAME##ubuntu*}" == "" - "$TEST_CODE_STYLE" != "1" ]; then
+if [ "${OS_NAME##ubuntu*}" == "" -a "$TEST_CODE_STYLE" != "1" ]; then
  echo "Installing requirements [apt]"
  sudo apt-add-repository -y "ppa:ubuntu-toolchain-r/test"
  sudo apt update -y -q