# HG changeset patch # User Thomas Wuerthinger # Date 1376483272 -7200 # Node ID 2a26b86d7724f2ffba1d27d3c5caeaa9ee5d8c6d # Parent edf7e09ad382016ef879c59b1f126e57ed2cae40# Parent fcb4cf14a3c3a0bc98f36dc135c461540d134326 Merge. diff -r edf7e09ad382 -r 2a26b86d7724 mx/commands.py --- a/mx/commands.py Wed Aug 14 14:27:40 2013 +0200 +++ b/mx/commands.py Wed Aug 14 14:27:52 2013 +0200 @@ -564,9 +564,8 @@ for build in builds: if build == 'ide-build-target': - build = os.environ.get('IDE_BUILD_TARGET', 'product') - if len(build) == 0: - mx.logv('[skipping build from IDE as IDE_BUILD_TARGET environment variable is ""]') + build = os.environ.get('IDE_BUILD_TARGET', None) + if build is None or len(build) == 0: continue jdk = _jdk(build, create=True)