diff options
Diffstat (limited to 'src/third_party/wiredtiger/RELEASE_INFO')
| -rw-r--r-- | src/third_party/wiredtiger/RELEASE_INFO | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/third_party/wiredtiger/RELEASE_INFO b/src/third_party/wiredtiger/RELEASE_INFO new file mode 100644 index 00000000000..d0536282f61 --- /dev/null +++ b/src/third_party/wiredtiger/RELEASE_INFO @@ -0,0 +1,10 @@ +WIREDTIGER_VERSION_MAJOR=2 +WIREDTIGER_VERSION_MINOR=4 +WIREDTIGER_VERSION_PATCH=1 +WIREDTIGER_VERSION="$WIREDTIGER_VERSION_MAJOR.$WIREDTIGER_VERSION_MINOR.$WIREDTIGER_VERSION_PATCH" + +WIREDTIGER_RELEASE_DATE=`date "+%B %e, %Y"` + +WIREDTIGER_VERSION_STRING="WiredTiger $WIREDTIGER_VERSION: ($WIREDTIGER_RELEASE_DATE)" + +WIREDTIGER_VERSION_UNIQUE_NAME=`printf "_%d%03d" $WIREDTIGER_VERSION_MAJOR $WIREDTIGER_VERSION_MINOR` |