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

diff --git a/.cproject b/.cproject
index 33a4317..3adde03 100644 (file)
--- 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 d3a09b6..0566c61 100644 (file)
--- a/.project
+++ b/.project
@@ -32,7 +32,7 @@
        </natures>
        <filteredResources>
                <filter>
-                       <id>1497970923386</id>
+                       <id>1498023481284</id>
                        <name></name>
                        <type>30</type>
                        <matcher>