diff options
| author | Alex Gorrod <alexander.gorrod@mongodb.com> | 2016-01-10 16:49:29 -0500 |
|---|---|---|
| committer | Alex Gorrod <alexg@wiredtiger.com> | 2016-01-11 09:05:55 +1100 |
| commit | 1bfc894e37cf99424c08f3a640fff51531c5a515 (patch) | |
| tree | 91f174b3b19dbc178804b39254096963b8e1b82c /dist | |
| parent | a1ddc5e6164ef982dc29dd658d391abff06a7484 (diff) | |
| download | mongo-1bfc894e37cf99424c08f3a640fff51531c5a515.tar.gz | |
Merge pull request #2427 from wiredtiger/WT-2320
(cherry picked from commit 051ab40)
WT-2320 Backport to 3.0. Only check copyright as part of cutting a release.
Builds on another change that was pushed directly to develop branch: 00c2116
Diffstat (limited to 'dist')
| -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$$ |