diff options
author | Alex Gorrod <alexander.gorrod@mongodb.com> | 2016-01-10 17:21:56 -0500 |
---|---|---|
committer | Alex Gorrod <alexander.gorrod@mongodb.com> | 2016-01-10 17:21:56 -0500 |
commit | b719a1bc73ec3940c6b414e58e4a235c0f08bffb (patch) | |
tree | 91f174b3b19dbc178804b39254096963b8e1b82c | |
parent | a1ddc5e6164ef982dc29dd658d391abff06a7484 (diff) | |
parent | 1bfc894e37cf99424c08f3a640fff51531c5a515 (diff) | |
download | mongo-b719a1bc73ec3940c6b414e58e4a235c0f08bffb.tar.gz |
Merge pull request #2428 from wiredtiger/WT-2320-backport
WT-2320 Backport to 3.0. Only check copyright as part of cutting a release.
-rwxr-xr-x | dist/s_copyright | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dist/s_copyright b/dist/s_copyright index 73f45ffc4aa..3408784820d 100755 --- a/dist/s_copyright +++ b/dist/s_copyright @@ -1,5 +1,8 @@ #! /bin/sh +# Only run when building a release +test -z "$WT_RELEASE_BUILD" && exit 0 + # Check the copyrights. c1=__wt.1$$ |