Add #!/bin/sh when re-ordering config_h.SH

Also add a small comment to indicate the use of this script

Based on
Subject: [PATCH] Giving config_h.SH a shebang via Porting/config_h.pl
From: Sawyer X <xsawyerx@gmail.com>
Date: Fri, 21 Sep 2012 21:15:43 +0300
Message-ID: <505CAECF.1060600@gmail.com>

diff --git a/Porting/config_h.pl b/Porting/config_h.pl
index cf69b2a..0042526 100755 (executable)
--- a/Porting/config_h.pl
+++ b/Porting/config_h.pl
@@ -3,7 +3,10 @@
 # This script reorders config_h.SH after metaconfig
 # Changing metaconfig is too complicated
 #
-# Copyright (C) 2005-2007 by H.Merijn Brand (m)'07 [18-04-2007]
+# This script is run just after metaconfig, and it
+# is run ONLY ONCE. Not to be used afterwards
+#
+# Copyright (C) 2005-2012 by H.Merijn Brand (m)'12 [22-09-2012]
 #
 # You may distribute under the terms of either the GNU General Public
 # License or the Artistic License, as specified in the README file.
@@ -68,6 +71,8 @@ push @ch, ";;\nesac\n";
 
 open  $ch, "> $cSH" or die "Cannot write $cSH: $!\n";
 print $ch <<EOW;
+#!/bin/sh
+#
 # THIS IS A GENERATED FILE
 # DO NOT HAND-EDIT
 #