From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 21 Jun 2017 08:28:44 +0000 (+0200)
Subject: eclipse: search internal_config where it is, even if it's ignored
X-Git-Tag: v3.16~10
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a90563bd9caee92326d0a5587a613537104990bc?ds=sidebyside

eclipse: search internal_config where it is, even if it's ignored
---

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>