diff options
Diffstat (limited to '.tools/contributors.sh')
| -rwxr-xr-x | .tools/contributors.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.tools/contributors.sh b/.tools/contributors.sh index c9304e3e..dc63b91a 100755 --- a/.tools/contributors.sh +++ b/.tools/contributors.sh @@ -12,7 +12,7 @@ cd tools/contrib_xsl pwd make about-server -check_error +check_error $? cd ../../clientdata pwd |