# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1378115059 -7200
# Node ID 38acec26d535118dd599a3f403295d0c9fb8fa88
# Parent  3110bea9a6b01e2ef1db167def2b6f035d7cebae
If _installed_jdk is set, ask confirmation before building

diff -r 3110bea9a6b0 -r 38acec26d535 mx/commands.py
--- 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)