summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorHartmut Holzgraefe <hholzgra@php.net>2000-11-22 23:20:35 +0000
committerHartmut Holzgraefe <hholzgra@php.net>2000-11-22 23:20:35 +0000
commite3dae1013db99efd9412a3c2bc0081eacd08cf9e (patch)
tree251c140c4719777eccd4b4ced7a00cb66aba024b /scripts
parent929197cf83c63c47d456a278f0c8164b7663b68e (diff)
downloadphp-git-e3dae1013db99efd9412a3c2bc0081eacd08cf9e.tar.gz
added a "DO NOT EDIT!" header and regenerated the credits_*h files
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/credits17
1 files changed, 16 insertions, 1 deletions
diff --git a/scripts/credits b/scripts/credits
index d627948b98..b5246027ae 100755
--- a/scripts/credits
+++ b/scripts/credits
@@ -5,5 +5,20 @@ BEGIN { FS = "\n"; RS = "" }
for what in ext sapi
do
- awk "$awkprog" $what/*/CREDITS | sort -f > ext/standard/credits_$what.h
+ file=ext/standard/credits_$what.h
+ cat >$file <<END
+/*
+ DO NOT EDIT THIS FILE!
+
+ it has been automaticaly created by php4/scripts/credits
+ from the information found in the various php4/ext/*/CREDITS
+ and sapi/*/CREDITS files
+
+ if you want to change an entry you have to edit the
+ appropriate CREDITS file instead
+
+*/
+
+END
+ awk "$awkprog" $what/*/CREDITS | sort -f >> $file
done