hotspot/.mx.jvmci/.pydevproject
author lana
Sat, 17 Jun 2017 00:15:56 +0000
changeset 45588 721bae7117fe
parent 44836 45196b7066e3
permissions -rw-r--r--
Added tag jdk-10+12 for changeset 4a203b007156
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>