hotspot/.mx.jvmci/.pydevproject
author prr
Mon, 07 Aug 2017 09:45:38 -0700
changeset 47171 8dfd3d2dd906
parent 44836 45196b7066e3
permissions -rw-r--r--
Merge
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
34505
90f4fd15d739 8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff changeset
     1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
42026
b909beeb863f 8168295: [JVMCI] -XX:+JVMCIPrintProperties should exit after printing
dnsimon
parents: 34505
diff changeset
     2
<?eclipse-pydev version="1.0"?><pydev_project>
34505
90f4fd15d739 8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff changeset
     3
<pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">Default</pydev_property>
90f4fd15d739 8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff changeset
     4
<pydev_property name="org.python.pydev.PYTHON_PROJECT_VERSION">python 2.7</pydev_property>
90f4fd15d739 8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff changeset
     5
<pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH">
44836
45196b7066e3 8177845: Need a mechanism to load Graal
dnsimon
parents: 42026
diff changeset
     6
<path>/mx.jvmci</path>
34505
90f4fd15d739 8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff changeset
     7
</pydev_pathproperty>
90f4fd15d739 8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff changeset
     8
<pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH">
90f4fd15d739 8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff changeset
     9
<path>/mx</path>
90f4fd15d739 8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff changeset
    10
</pydev_pathproperty>
90f4fd15d739 8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff changeset
    11
90f4fd15d739 8139921: add mx configuration files to support HotSpot IDE configuration generation
twisti
parents:
diff changeset
    12
</pydev_project>