diff options
| author | Hartmut Holzgraefe <hholzgra@php.net> | 2000-11-22 23:20:35 +0000 |
|---|---|---|
| committer | Hartmut Holzgraefe <hholzgra@php.net> | 2000-11-22 23:20:35 +0000 |
| commit | e3dae1013db99efd9412a3c2bc0081eacd08cf9e (patch) | |
| tree | 251c140c4719777eccd4b4ced7a00cb66aba024b /scripts | |
| parent | 929197cf83c63c47d456a278f0c8164b7663b68e (diff) | |
| download | php-git-e3dae1013db99efd9412a3c2bc0081eacd08cf9e.tar.gz | |
added a "DO NOT EDIT!" header and regenerated the credits_*h files
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/credits | 17 |
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 |
