build/set-version.sh
changeset 368 5f79f31ca9a2
parent 365 f7f033738af4
child 392 4fbe94af93e8
equal deleted inserted replaced
367:e0fb97c1e9c6 368:5f79f31ca9a2
     1 #!/usr/bin/env bash
     1 #!/usr/bin/env bash
     2 
     2 
     3 set -e
     3 set -e
     4 
     4 
       
     5 function usage() {
       
     6     cat <<EOF
       
     7 Usage: $0 "x.y.z"
       
     8     "x.y.z": version number, following the semver convention
       
     9 EOF
       
    10 }
       
    11 
       
    12 if [ $# -ne 1 ]; then
       
    13     echo "Bad number of parameters"
       
    14     usage >&2
       
    15     exit 1
       
    16 fi
       
    17 
       
    18 if [[ "$1" == "-h" || "$1" == "--help" ]]; then
       
    19     usage
       
    20     exit 0
       
    21 fi
       
    22 
     5 version=$1
    23 version=$1
       
    24 
       
    25 echo "Version: ${version}"
       
    26 
       
    27 [[ "${version}" =~ ^[[:digit:]]+\.[[:digit:]]+\.[[:digit:]]+$ ]] || {
       
    28     echo "Bad format for version."
       
    29     usage >&2
       
    30     exit 1
       
    31 }
     6 
    32 
     7 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
    33 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
     8 green="\x1B[0;32m" # '\e[1;32m' is too bright for white bg.
    34 green="\x1B[0;32m" # '\e[1;32m' is too bright for white bg.
     9 blue="\x1B[1;34m"
    35 blue="\x1B[1;34m"
    10 endColor="\x1B[0m"
    36 endColor="\x1B[0m"