From a90563bd9caee92326d0a5587a613537104990bc Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 21 Jun 2017 10:28:44 +0200
Subject: [PATCH] eclipse: search internal_config where it is, even if it's
 ignored

---
 .cproject | 1 +
 .project  | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.cproject b/.cproject
index 33a4317fda..3adde03ee6 100644
--- a/.cproject
+++ b/.cproject
@@ -27,6 +27,7 @@
 									<listOptionValue builtIn="false" value="/usr/include/lua5.3"/>
 									<listOptionValue builtIn="false" value="/usr/lib/jvm/java-8-openjdk-amd64/include"/>
 									<listOptionValue builtIn="false" value="/usr/lib/jvm/java-8-openjdk-amd64/include/linux"/>
+									<listOptionValue builtIn="false" value="&quot;${workspace_loc:/simgrid/build/default}&quot;"/>
 								</option>
 								<inputType id="cdt.managedbuild.tool.gnu.cpp.compiler.input.1641160853" superClass="cdt.managedbuild.tool.gnu.cpp.compiler.input"/>
 							</tool>
diff --git a/.project b/.project
index d3a09b65d8..0566c612db 100644
--- a/.project
+++ b/.project
@@ -32,7 +32,7 @@
 	</natures>
 	<filteredResources>
 		<filter>
-			<id>1497970923386</id>
+			<id>1498023481284</id>
 			<name></name>
 			<type>30</type>
 			<matcher>
-- 
2.20.1