Fix coq-lint.sh on macOS (!336) · Merge requests · Iris / stdpp

Merged Tej Chajed requested to merge tchajed/stdpp:fix-coq-lint-macos into master 3 years ago

Status	Pipeline	Created by	Stages
Passed 00:04:36 3 years ago	Make coq-lint.sh compatible with BSD grep #57756 336 7d7097a6 merge request fork		Stage: build	Download artifacts No artifacts found
Passed 00:07:18 3 years ago	Use GNU grep on macOS in coq-lint.sh #57755 336 183fdb94 merge request fork		Stage: build	Download artifacts No artifacts found

Fix coq-lint.sh on macOS