diff options
| author | Johannes Schlüter <johannes@php.net> | 2010-05-27 22:50:31 +0000 |
|---|---|---|
| committer | Johannes Schlüter <johannes@php.net> | 2010-05-27 22:50:31 +0000 |
| commit | 2d63af8c600dd9fb5fbc94450f03737ef67211b3 (patch) | |
| tree | f9e016c7ae6909f9fe1e69cb868682405970bf7f /scripts/dev | |
| parent | 8cf687608e47624a3e1f43bbbae3bdc51c24757d (diff) | |
| download | php-git-2d63af8c600dd9fb5fbc94450f03737ef67211b3.tar.gz | |
Make the credits script more verbose
Diffstat (limited to 'scripts/dev')
| -rwxr-xr-x | scripts/dev/credits | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/dev/credits b/scripts/dev/credits index f99c0316aa..801637cd19 100755 --- a/scripts/dev/credits +++ b/scripts/dev/credits @@ -23,4 +23,5 @@ END # Do not process skeleton # files=`find "$what" -name CREDITS | grep -v "$what"/skeleton/CREDITS` awk "$awkprog" $files | sort -f | uniq >> $file + echo "Updated $file" done |