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 |