changeset 11530:be9e54fbb699

Use a better warning message for building with --installed-jdks set
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 05 Sep 2013 10:59:01 +0200
parents 6d221435fff9
children 331f7590b741 2bd626188d31
files mx/commands.py
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/mx/commands.py	Thu Sep 05 10:55:51 2013 +0200
+++ b/mx/commands.py	Thu Sep 05 10:59:01 2013 +0200
@@ -555,8 +555,8 @@
         assert vm == 'graal', vm
         buildSuffix = 'graal'
 
-    if _installed_jdks:
-        if not mx.ask_yes_no("You are going to build because --installed-jdks is set (" + _installed_jdks + ") - are you sure you want to continue", 'n'):
+    if _installed_jdks and _installed_jdks != _graal_home:
+        if not mx.ask_yes_no("Warning: building while --installed-jdks is set (" + _installed_jdks + ") is not recommanded - are you sure you want to continue", 'n'):
             mx.abort(1)
 
     for build in builds: