diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/s_lang')
-rwxr-xr-x | src/third_party/wiredtiger/dist/s_lang | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/dist/s_lang b/src/third_party/wiredtiger/dist/s_lang index 0f0519f87e4..cd229b4ea29 100755 --- a/src/third_party/wiredtiger/dist/s_lang +++ b/src/third_party/wiredtiger/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 |