From a17ea1b3acb6085d3bfb19f71b3b991dea5da301 Mon Sep 17 00:00:00 2001
From: keni <keni>
Date: Thu, 21 Feb 2008 01:16:41 +0000
Subject: [PATCH] show source of bits of makefiles (trunk only) Mark the
 generated makefiles as generated and mark the source of each section to aid
 debugging.

---
 sys/unix/mkmkfile.sh | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/sys/unix/mkmkfile.sh b/sys/unix/mkmkfile.sh
index d1eff4296..a8ef779fe 100644
--- a/sys/unix/mkmkfile.sh
+++ b/sys/unix/mkmkfile.sh
@@ -9,4 +9,14 @@
 #  $2 install path
 #  $3 hints file
 
-cat $3 $1 > $2
+echo "#" > $2
+echo "# This file is generated automatically.  Do not edit." >> $2
+echo "# Your changes will be lost.  See sys/unix/NewInstall.unx." >> $2
+echo "###" >> $2
+echo "### Start $3" >> $2
+echo "###" >> $2
+cat $3 >> $2
+echo "### end of file" >> $2
+echo "### Start $1" >> $2
+cat $1 >> $2
+echo "### end of file" >> $2