From b9aebce19480448817373e2df2b36bd090eae41a Mon Sep 17 00:00:00 2001
From: "Field G. Van Zee" <field@cs.utexas.edu>
Date: Fri, 6 Apr 2018 18:37:33 -0500
Subject: [PATCH] De-verbosify makefile fragment generation.

Details:
- Changed from -v1 to -v0 when calling gen-make-frag.sh from configure.
  The directory-by-directory recursive output didn't add much value to
  the user, so now we just echo a line for each top-level directory into
  which we will recurse (e.g. 'config', 'ref_kernels', 'frame', etc.).
  This also helps keep more interesting information (from earlier in the
  execution of configure) from scrolling out of the terminal window.
---
 configure | 21 ++++++++++++++-------
 1 file changed, 14 insertions(+), 7 deletions(-)

diff --git a/configure b/configure
index a49776c99..c0ece3f23 100755
--- a/configure
+++ b/configure
@@ -2034,12 +2034,15 @@ main()
 
 	clist_contains_cname=$(is_in_list "${config_name}" "${config_list}")
 
-	# If the config_list does not already contain the config_name, generate
-	# makefiles in that directory.
+	# If the config_list does not already contain the config_name (i.e.,
+	# if config_name is an umbrella family), generate makefiles in that
+	# directory. (In the next step, we will loop over the actual sub-
+	# configurations and create fragments there as well.)
 	if [ "${clist_contains_cname}" == "false" ]; then
 
+		echo "${script_name}: creating makefile fragments in ${config_dirpath}/${config_name}"
 		${gen_make_frags_sh} \
-				 -h -r -v1 \
+				 -h -r -v0 \
 				 -o ${script_name} \
 				 -p 'CONFIG' \
 				 ${config_dirpath}/${config_name} \
@@ -2052,8 +2055,9 @@ main()
 	# in the configuration list.
 	for conf in ${config_list}; do
 
+		echo "${script_name}: creating makefile fragments in ${config_dirpath}/${conf}"
 		${gen_make_frags_sh} \
-				 -h -r -v1 \
+				 -h -r -v0 \
 				 -o ${script_name} \
 				 -p 'CONFIG' \
 				 ${config_dirpath}/${conf} \
@@ -2066,8 +2070,9 @@ main()
 	# the configuration list (in the kernel list).
 	for kern in ${kernel_list}; do
 
+		echo "${script_name}: creating makefile fragments in ${kernels_dirpath}/${kern}"
 		${gen_make_frags_sh} \
-				 -h -r -v1 \
+				 -h -r -v0 \
 				 -o ${script_name} \
 				 -p 'KERNELS' \
 				 ${kernels_dirpath}/${kern} \
@@ -2077,8 +2082,9 @@ main()
 	done
 
 	# Generate makefile fragments in the reference kernels directory.
+	echo "${script_name}: creating makefile fragments in ${refkern_dirpath}"
 	${gen_make_frags_sh} \
-			 -h -r -v1 \
+			 -h -r -v0 \
 			 -o ${script_name} \
 			 -p 'REFKERN' \
 			 ${refkern_dirpath} \
@@ -2087,8 +2093,9 @@ main()
 			 ${gen_make_frags_dirpath}/ignore_list
 
 	# Generate makefile fragments in the framework directory.
+	echo "${script_name}: creating makefile fragments in ${frame_dirpath}"
 	${gen_make_frags_sh} \
-			 -h -r -v1 \
+			 -h -r -v0 \
 			 -o ${script_name} \
 			 -p 'FRAME' \
 			 ${frame_dirpath} \