From 06093ff0b579312d2e43b615f52b01d161563b25 Mon Sep 17 00:00:00 2001
From: Christophe de Dinechin <dinechin@redhat.com>
Date: Fri, 8 Mar 2019 14:42:52 +0100
Subject: [PATCH] Show the comment from 'configure' as a comment

This way, the output of configure can be used for example as
a shell script or makefile include
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index 205806e..456e4cb 100755
--- a/configure
+++ b/configure
@@ -32,5 +32,5 @@ while [ $# -ne 0 ]; do
     shift
 done
 
-echo "Summary of configuration:"
+echo "# Summary of configuration:"
 cat config.local-setup.mk