Merge branch 'main' into fedora39

collectd · Dec 21, 2023 · f8581d6 · f8581d6
2 parents 90af79f + e4fdf10
commit f8581d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/checks/check-built-plugins.sh b/checks/check-built-plugins.sh
@@ -4,7 +4,7 @@ set -e
 
 declare -A want
 if [[ $# -ge 1 ]]; then
-  for p in $(egrep -v '^ *($|#)' "${1}"); do
+  for p in $(grep -E -v '^ *($|#)' "${1}"); do
     want["${p}"]=1
   done
 else