view mx.graal/.project @ 22839:e5879d8381dd

Bugfix: when scheduler is not allowed to delete dead nodes, it must ignore them
author Christian Wimmer <christian.wimmer@oracle.com>
date Thu, 15 Oct 2015 11:29:54 -0700
parents 7c519116907f
children
line wrap: on
line source

<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
	<name>mx.graal</name>
	<comment></comment>
	<projects>
		<project>mx</project>
		<project>mx.jvmci</project>
	</projects>
	<buildSpec>
		<buildCommand>
			<name>org.python.pydev.PyDevBuilder</name>
			<arguments>
			</arguments>
		</buildCommand>
	</buildSpec>
	<natures>
		<nature>org.python.pydev.pythonNature</nature>
	</natures>
</projectDescription>