From 7d2ad6ac66abb97819ffbc5ad58c862a84e28775 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Tue, 31 May 2016 00:13:43 +0200
Subject: Checker: no more -I kernel via a few symlinks (for Names and Esubst)

 In particular, no more warning about ocamldep finding stuff both
 in checker/ and kernel/.

 A 'make clean' is mandatory after this commit
---
 Makefile.common | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 3e2bfcb3a..e7d092876 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -78,9 +78,7 @@ SRCDIRS:=\
 
 IDESRCDIRS:= $(CORESRCDIRS) ide ide/utils
 
-# Order is relevant here because kernel and checker contain files
-# with the same name
-CHKSRCDIRS:= checker lib config kernel parsing
+CHKSRCDIRS:= config lib checker
 
 ###########################################################################
 # Tools
-- 
cgit v1.2.3