diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2003-07-20 14:42:29 +0000 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2003-07-20 14:42:29 +0000 |
| commit | e231b7d81efbc6bce38042a3e0e457d5b3cf705d (patch) | |
| tree | 27f4cb750b2040c4b5f6b03a0f83ed99bbaf9cc0 /logcheck/mklocalfiles | |
| parent | 2d27a8365ff4efcbf7a5e45c7bda6f2be0a7434e (diff) | |
Add trailing pranthese (in a comment!!!). Stop merging workstation and server files - done upstream now.
Diffstat (limited to 'logcheck/mklocalfiles')
| -rwxr-xr-x | logcheck/mklocalfiles | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/logcheck/mklocalfiles b/logcheck/mklocalfiles index 3ba8a8a..dc4a152 100755 --- a/logcheck/mklocalfiles +++ b/logcheck/mklocalfiles @@ -6,15 +6,15 @@ for dir in ignore.d.server ignore.d.workstation violations.ignore.d; do echo regenerating $dir rm -f $dir/local - # Include server lines in workstation as well - if [ "$dir" == "ignore.d.workstation" ]; then - for file in ignore.d.server/*; do - if [ -f $file -a `basename $file` != "local" ]; then - echo "### $file" >> $dir/local - cat $file >> $dir/local - fi - done - fi +# # Include server lines in workstation as well +# if [ "$dir" == "ignore.d.workstation" ]; then +# for file in ignore.d.server/*; do +# if [ -f $file -a `basename $file` != "local" ]; then +# echo "### $file" >> $dir/local +# cat $file >> $dir/local +# fi +# done +# fi for file in $dir/*; do if [ -f $file -a `basename $file` != "local" ]; then echo "### $file" >> $dir/local |