| 1234567891011121314151617181920212223 |
- #!/usr/bin/env bash
- # Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
- if [ "$#" = "0" ]; then
- 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
- if [ "$1" = "minor" ]; then
- cat include/rocksdb/version.h | grep MINOR | head -n1 | awk '{print $3}'
- 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
|