| Index: remoting/host/installer/linux/build-deb.sh
|
| diff --git a/remoting/host/installer/linux/build-deb.sh b/remoting/host/installer/linux/build-deb.sh
|
| index 14231cb3e32e17a1a8c326c0e4cbe448bb99205f..3c0233e429cf972b899b7ee6c73c11c52b0e5d54 100755
|
| --- a/remoting/host/installer/linux/build-deb.sh
|
| +++ b/remoting/host/installer/linux/build-deb.sh
|
| @@ -14,8 +14,7 @@ if [[ -z "$version_full" ]]; then
|
| version_full="$version_base.$version_build"
|
| fi
|
|
|
| -if !(echo $version_full | grep -E \
|
| - "^[[:digit:]]+.[[:digit:]]+.[[:digit:]]+.[[:digit:]]+$" > /dev/null); then
|
| +if [[ ! "$version_full" =~ ^[0-9]+\.[0-9]+\.[0-9]+\.[0-9]+$ ]]; then
|
| echo "Error: Invalid \$version_full value: $version_full" >&2
|
| exit 1
|
| fi
|
|
|