diff options
| author |  Jim <jfehrle@sbcglobal.net> | 2017-12-01 10:24:57 -0800 |
|---|---|---|
| committer | Jim Fehrle <jfehrle@sbcglobal.net> | 2017-12-16 10:38:30 -0800 |
| commit | 84cdfdf1871997931a866949b6c14198e01a3136 (patch) | |
| tree | 1ee62ae0e511ffadd5918fde50745b8fe435b433 /INSTALL | |
| parent | 0275b5802ffd416dd0ed739955445a1c3c0287e9 (diff) | |
For bug 6249, Segmentation fault when building Coq on Windows 10.
Enable builds on Windows by removing Windows-style endings where it impacts make.
The fix in Makefile.build is a band-aid fix; maximedenes said he would remove the dependency on sed and awk here.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions