diff --git a/scripts/clean-includes b/scripts/clean-includes index 064e532037..874dfd0974 100755 --- a/scripts/clean-includes +++ b/scripts/clean-includes @@ -113,10 +113,12 @@ trap 'rm -f -- "$COCCIFILE" "$REGEXFILE"' INT TERM HUP EXIT # Comments starting with '#' are permitted grep -v '^#' >"$REGEXFILE" <"$REGEXFILE" <