changeset 11512:38acec26d535

If _installed_jdk is set, ask confirmation before building
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 02 Sep 2013 11:44:19 +0200
parents 3110bea9a6b0
children 8d4e5e08d83f
files mx/commands.py
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/mx/commands.py	Mon Sep 02 11:40:24 2013 +0200
+++ b/mx/commands.py	Mon Sep 02 11:44:19 2013 +0200
@@ -521,6 +521,10 @@
         assert vm == 'graal', vm
         buildSuffix = 'graal'
         
+    if _installed_jdks:
+        if not mx.ask_yes_no("You are going to build while --installed-jdks is set (" + _installed_jdks + ") are you sure you want to continue", 'n'):
+            mx.abort(1)
+        
     for build in builds:
         if build == 'ide-build-target':
             build = os.environ.get('IDE_BUILD_TARGET', None)