diff options
| author | Keith Bostic <keith.bostic@mongodb.com> | 2016-09-22 20:27:50 -0400 |
|---|---|---|
| committer | Alex Gorrod <alexander.gorrod@mongodb.com> | 2016-09-23 10:27:50 +1000 |
| commit | e75ef579dd4c3a911ba4dc0d2619b9ba5c9b166a (patch) | |
| tree | 7a781daaf27d3fd9dd02f01fd684ec18a3d35705 /dist/s_lang | |
| parent | 38456fe978920136200997cb0150734cb6d2b948 (diff) | |
| download | mongo-e75ef579dd4c3a911ba4dc0d2619b9ba5c9b166a.tar.gz | |
WT-2919 Don't mask error returns from style checking scripts (#3049)
We were forcing them to return an exit code of 0.
Diffstat (limited to 'dist/s_lang')
| -rwxr-xr-x | dist/s_lang | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/dist/s_lang b/dist/s_lang index 0f0519f87e4..cd229b4ea29 100755 --- a/dist/s_lang +++ b/dist/s_lang @@ -2,7 +2,7 @@ # Check lang directories for potential name conflicts t=__wt.$$ -trap 'rm -f $t; exit 0' 0 1 2 3 13 15 +trap 'rm -f $t' 0 1 2 3 13 15 cd ../lang @@ -21,5 +21,8 @@ for d in *; do echo "$l: potential SWIG naming conflict" echo "=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=" cat $t + exit 1 } done + +exit 0 |