Verified Commit 7d7097a6 authored by Tej Chajed's avatar Tej Chajed
Browse files

Make coq-lint.sh compatible with BSD grep

On macOS, egrep does not support empty subexpressions in a regex OR.
parent 9765b5fe
Pipeline #57756 passed with stage
in 4 minutes and 36 seconds