From 5b46e1725cda3bd1aa02113edde50ea3004968fd Mon Sep 17 00:00:00 2001 From: "H.Merijn Brand" Date: Sat, 22 Sep 2012 11:59:25 +0200 Subject: [PATCH] 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 Date: Fri, 21 Sep 2012 21:15:43 +0300 Message-ID: <505CAECF.1060600@gmail.com> --- Porting/config_h.pl | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/Porting/config_h.pl b/Porting/config_h.pl index cf69b2a..0042526 100755 --- 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 <