Merge pull request #763 from John-Colvin/patch-4
gnu grep extensions aren't portable
commit ab27aa2c246dd35bf57bdcb0d69e85ac902e3b63
2 parents e8d6fe9 + a8506a3
@Sönke Ludwig Sönke Ludwig authored on 2 Feb 2016
Showing 1 changed file
View
build.sh