summaryrefslogtreecommitdiffstats
path: root/.github/setup_ci.sh
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-x.github/setup_ci.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/setup_ci.sh b/.github/setup_ci.sh
index 831203cfd..e53a351c5 100755
--- a/.github/setup_ci.sh
+++ b/.github/setup_ci.sh
@@ -53,7 +53,7 @@ for TARGET in $TARGETS; do
libressl-head)
INSTALL_LIBRESSL_HEAD=yes
;;
- valgrind)
+ valgrind*)
PACKAGES="$PACKAGES valgrind"
;;
*) echo "Invalid option '${TARGET}'"