From 84cdfdf1871997931a866949b6c14198e01a3136 Mon Sep 17 00:00:00 2001
From: Jim
Date: Fri, 1 Dec 2017 10:24:57 -0800
Subject: 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.
---
 Makefile.build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.build')

diff --git a/Makefile.build b/Makefile.build
index 39b793d2bb..867c494a1c 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
-- 
cgit v1.2.3