From 00a8604d89f47c903fc5283eebdda67c87468699 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 31 Oct 2018 15:29:57 +0100
Subject: Select OS specific coqide code with cp.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index f2dc6d7750..b9d8bf34e3 100644
--- a/Makefile
+++ b/Makefile
@@ -96,7 +96,7 @@ EXISTINGMLI := $(call find, '*.mli')
 
 GENML4FILES:= $(ML4FILES:.ml4=.ml)
 GENMLGFILES:= $(MLGFILES:.mlg=.ml)
-export GENMLFILES:=$(LEXFILES:.mll=.ml) $(YACCFILES:.mly=.ml) $(GENMLGFILES) kernel/copcodes.ml
+export GENMLFILES:=$(LEXFILES:.mll=.ml) $(YACCFILES:.mly=.ml) $(GENMLGFILES) ide/coqide_os_specific.ml kernel/copcodes.ml
 export GENHFILES:=kernel/byterun/coq_jumptbl.h
 export GENFILES:=$(GENMLFILES) $(GENMLIFILES) $(GENHFILES)
 
-- 
cgit v1.2.3