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 /Makefile.build | |
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 'Makefile.build')
-rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index 39b793d2b..867c494a1 100644 --- a/Makefile.build +++ b/Makefile.build @@ -302,7 +302,7 @@ kernel/byterun/coq_jumptbl.h : kernel/byterun/coq_instruct.h -e '/^}/q' $< $(TOTARGET) kernel/copcodes.ml: kernel/byterun/coq_instruct.h - sed -n -e '/^enum/p' -e 's/,//g' -e '/^ /p' $< | \ + tr -d "\r" < $< | sed -n -e '/^enum/p' -e 's/,//g' -e '/^ /p' | \ awk -f kernel/make-opcodes $(TOTARGET) %.o: %.c |