Fix coq-lint.sh on macOS
All threads resolved!
All threads resolved!
Fixes the build on macOS. Once this is merged I'll make the same fix to Iris.
Edited by Tej Chajed
Fixes the build on macOS. Once this is merged I'll make the same fix to Iris.
changed title from Use GNU grep on macOS in coq-lint.sh to Fix coq-lint.sh on macOS
resolved all threads
merged