coq-lint.sh · b593cbdd2be335e70bd1af9b96a785d3ab8601d4 · Adam / stdpp · GitLab

Snippets Groups Projects

Forked from Iris / stdpp

Source project has a limited visibility.

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.
```