diff options
author | fyrz <fyrgoss@gmail.com> | 2014-10-04 11:17:06 +0200 |
---|---|---|
committer | fyrz <fyrgoss@gmail.com> | 2014-10-04 11:17:06 +0200 |
commit | 69d4c5123e812a2c88dd94abc2bf1a39b0a04dbd (patch) | |
tree | c1c6b5f53a602fbf6594955300b7314696fcc767 /build_tools/version.sh | |
parent | fcd13a77ad54ed453c0e9a6935020951fdd3e3ce (diff) |
Cross-platform fix version.sh
version.sh now works also on linux properly.
Diffstat (limited to 'build_tools/version.sh')
-rwxr-xr-x | build_tools/version.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/build_tools/version.sh b/build_tools/version.sh index afa7ed277..c5a8595fb 100755 --- a/build_tools/version.sh +++ b/build_tools/version.sh @@ -1,14 +1,14 @@ #!/bin/sh -if [ $# == 0 ]; then +if [ "$#" = "0" ]; then echo "Usage: $0 major|minor|patch" exit 1 fi -if [ $1 = "major" ]; then +if [ "$1" = "major" ]; then cat include/rocksdb/version.h | grep MAJOR | head -n1 | awk '{print $3}' fi -if [ $1 = "minor" ]; then +if [ "$1" = "minor" ]; then cat include/rocksdb/version.h | grep MINOR | head -n1 | awk '{print $3}' fi -if [ $1 = "patch" ]; then +if [ "$1" = "patch" ]; then cat include/rocksdb/version.h | grep PATCH | head -n1 | awk '{print $3}' fi |