# HG changeset patch
# User Christian Humer <christian.humer@gmail.com>
# Date 1363454559 -3600
# Node ID 3d515bfc1677a53664cf53e59f5b49f858fec770
# Parent  c210577168e7e67b7c215674512a673533e5027b
Fixed build-graal.xml generation was out of sync with build-graal.xml.

diff -r c210577168e7 -r 3d515bfc1677 mx/commands.py
--- a/mx/commands.py	Sat Mar 16 16:11:40 2013 +0100
+++ b/mx/commands.py	Sat Mar 16 18:22:39 2013 +0100
@@ -485,6 +485,13 @@
     for p in mx.sorted_deps(mx.distribution('GRAAL').deps):
         out.element('src', {'path' : '${src.dir}/' + p.name})
     out.element('compilerarg', {'value' : '-XDignore.symbol.file'})
+    
+    out.open('classpath')
+    out.open('fileset', {'dir' : '${java.home}/../lib'})
+    out.element('include', {'name' : 'tools.jar'})
+    out.close('fileset')
+    out.close('classpath')
+    
     out.close('javac')
     out.close('target')