# HG changeset patch # User Thomas Wuerthinger # Date 1366709395 -7200 # Node ID ba3dfa9e36d8510c71c8a79f4f81c85aa597793a # Parent 94df73308c7a0fe125bd69cd5597262fc4e757d2 Modified build-graal.xml diff -r 94df73308c7a -r ba3dfa9e36d8 make/build-graal.xml --- a/make/build-graal.xml Tue Apr 23 11:21:05 2013 +0200 +++ b/make/build-graal.xml Tue Apr 23 11:29:55 2013 +0200 @@ -74,7 +74,16 @@ - + + + + + + + + + +