coq-lint.sh · c531cb8b8494b1c85aa9af4c76582f95fb294b3d · Iris / stdpp · GitLab

Snippets Groups Projects

"git-rts@gitlab.mpi-sws.org:lepigre/iris.git" did not exist on "12f8178f526aa74ccc41481410b75bb2a8f58d4e"

3 years ago
7d7097a6
Make coq-lint.sh compatible with BSD grep · 7d7097a6
Tej Chajed authored 3 years ago
```
On macOS, egrep does not support empty subexpressions in a regex OR.
```
Verified
7d7097a6

History
Make coq-lint.sh compatible with BSD grep
Tej Chajed authored 3 years ago
```
On macOS, egrep does not support empty subexpressions in a regex OR.
```