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
2019-03-08 14:42:52 +01:00 · 2019-03-08 14:42:52 +01:00 · 06093ff0b5
parent ec4c992ffe
commit 06093ff0b5
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -32,5 +32,5 @@ while [ $# -ne 0 ]; do
    shift
 done
-echo "Summary of configuration:"
+echo "# Summary of configuration:"
 cat config.local-setup.mk