# HG changeset patch # User Thomas Wuerthinger # Date 1433238930 -7200 # Node ID 31f4a825987928e4c9f910164403869717cfc6c5 # Parent cd6b1b2189a02697af398b7af066a709d438b1f1# Parent ec47283499ef49ddc5074b6d05e102bf6e31bab4 Merge. diff -r cd6b1b2189a0 -r 31f4a8259879 mxtool/mx.py --- a/mxtool/mx.py Tue Jun 02 11:45:43 2015 +0200 +++ b/mxtool/mx.py Tue Jun 02 11:55:30 2015 +0200 @@ -633,6 +633,7 @@ if canSymlink and 'symlink' in dir(os): if exists(path): os.unlink(path) + print 'Path ' + cachePath + ' path: ' + path os.symlink(cachePath, path) else: shutil.copy(cachePath, path) @@ -4429,7 +4430,7 @@ out.close('target') out.open('target', {'name' : 'compile'}) - out.open('exec', {'executable' : sys.executable}) + out.open('exec', {'executable' : sys.executable, 'failonerror' : 'true'}) out.element('env', {'key' : 'JAVA_HOME', 'value' : jdk.jdk}) out.element('arg', {'value' : os.path.abspath(__file__)}) out.element('arg', {'value' : 'build'})