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

Snippets Groups Projects

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

All threads resolved!

Fixes the build on macOS. Once this is merged I'll make the same fix to Iris.

Edited 3 years ago by Tej Chajed

Activity

Ralf Jung @jung started a thread on an old version of the diff 3 years ago

Resolved 3 years ago by Ralf Jung
Last reply by Ralf Jung 3 years ago

Tej Chajed added 1 commit 3 years ago

added 1 commit

7d7097a6 - Make coq-lint.sh compatible with BSD grep

Compare with previous version

Tej Chajed changed title from Use GNU grep on macOS in coq-lint.sh to Fix coq-lint.sh on macOS 3 years ago

changed title from Use GNU grep on macOS in coq-lint.sh to Fix coq-lint.sh on macOS

Ralf Jung resolved all threads 3 years ago

resolved all threads

Ralf Jung enabled an automatic merge when the pipeline for succeeds 3 years ago

enabled an automatic merge when the pipeline for 7d7097a6 succeeds

Ralf Jung mentioned in commit 3 years ago

mentioned in commit f370d2fe

Ralf Jung merged 3 years ago

merged

Please register or sign in to reply