# HG changeset patch
# User ihse
# Date 1441784697 -7200
# Node ID 4fb0ae864a1df7713a8c912972f6e6b1f81ea36b
# Parent  8b56a0ce50f0491cd1f2ee7831a515fbef965d35
8135180: Print configure arguments using make print-configuration
Reviewed-by: erikj

diff -r 8b56a0ce50f0 -r 4fb0ae864a1d 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)'"