Skip to content
Snippets Groups Projects

Fix coq-lint.sh on macOS

Merged Tej Chajed requested to merge tchajed/stdpp:fix-coq-lint-macos into master
All threads resolved!

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

Edited by Tej Chajed

Merge request reports

Merge request pipeline #57756 passed

Merge request pipeline passed for 7d7097a6

Approval is optional

Merged by Ralf JungRalf Jung 3 years ago (Nov 23, 2021 8:43pm UTC)

Merge details

  • Changes merged into master with f370d2fe (commits were squashed).
  • Deleted the source branch.
  • Auto-merge enabled

Pipeline #57757 passed

Pipeline passed for f370d2fe on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Tej Chajed added 1 commit

    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

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

  • Ralf Jung resolved all threads

    resolved all threads

  • Ralf Jung enabled an automatic merge when the pipeline for 7d7097a6 succeeds

    enabled an automatic merge when the pipeline for 7d7097a6 succeeds

  • Ralf Jung mentioned in commit f370d2fe

    mentioned in commit f370d2fe

  • merged

  • Please register or sign in to reply
    Loading