diff options
Diffstat (limited to 'build_tools')
| -rwxr-xr-x | build_tools/version.sh | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/build_tools/version.sh b/build_tools/version.sh index c5a8595fb..f3ca98cf6 100755 --- a/build_tools/version.sh +++ b/build_tools/version.sh @@ -1,8 +1,9 @@ #!/bin/sh if [ "$#" = "0" ]; then - echo "Usage: $0 major|minor|patch" + echo "Usage: $0 major|minor|patch|full" exit 1 fi + if [ "$1" = "major" ]; then cat include/rocksdb/version.h | grep MAJOR | head -n1 | awk '{print $3}' fi @@ -12,3 +13,10 @@ fi if [ "$1" = "patch" ]; then cat include/rocksdb/version.h | grep PATCH | head -n1 | awk '{print $3}' fi +if [ "$1" = "full" ]; then + awk '/#define ROCKSDB/ { env[$2] = $3 } + END { printf "%s.%s.%s\n", env["ROCKSDB_MAJOR"], + env["ROCKSDB_MINOR"], + env["ROCKSDB_PATCH"] }' \ + include/rocksdb/version.h +fi |