# HG changeset patch
# User ihse
# Date 1441784697 -7200
# Node ID e1cfbafc4e9c00cecc23f3d0a0586f8c3263a920
# Parent  9e9bffb3029aa4196f4ec627c3da5e17f0314ad5
8135180: Print configure arguments using make print-configuration
Reviewed-by: erikj

diff -r 9e9bffb3029a -r e1cfbafc4e9c make/Init.gmk
--- a/make/Init.gmk	Wed Sep 09 09:36:39 2015 +0200
+++ b/make/Init.gmk	Wed Sep 09 09:44:57 2015 +0200
@@ -50,7 +50,7 @@
   include $(topdir)/make/Help.gmk
 
   # Targets provided by Init.gmk.
-  ALL_INIT_TARGETS := print-modules print-targets reconfigure
+  ALL_INIT_TARGETS := print-modules print-targets print-configuration reconfigure
 
   # CALLED_TARGETS is the list of targets that the user provided,
   # or "default" if unspecified.
@@ -228,6 +228,9 @@
 	    $(MAKE) $(MAKE_ARGS) -j 1 -f make/Main.gmk $(USER_MAKE_VARS) \
 	    NO_RECIPES=true print-targets )
 
+  print-configuration:
+	  $(ECHO) $(CONFIGURE_COMMAND_LINE)
+
   reconfigure:
         ifneq ($(CONFIGURE_COMMAND_LINE), )
 	  $(ECHO) "Re-running configure using arguments '$(CONFIGURE_COMMAND_LINE)'"