swh:1:snp:5115096b921df712aeb2a08114fede57fb3331fb
Raw File
Tip revision: 005c34f0b81a5bfa806be823fd7440a33613fbcf authored by sdong on 18 June 2018, 16:54:06 UTC
Bump up to 5.12.5
Tip revision: 005c34f
version.sh
#!/bin/sh
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
back to top