diff options
| author | Sébastien Lesaint <sebastien.lesaint@sonarsource.com> | 2018-05-30 16:10:05 +0200 |
|---|---|---|
| committer | SonarTech <sonartech@sonarsource.com> | 2018-06-12 20:21:01 +0200 |
| commit | 7e59b1e27f80a5d466913a3b9040ee82d1ae2e52 (patch) | |
| tree | 08b5777d40923468cefe2fc455bd3f4233ea267b /scripts/property_utils.sh | |
| parent | 77f771b0411d1d5bc92b757bad1bcbc18921e6b4 (diff) | |
| download | sonarqube-7e59b1e27f80a5d466913a3b9040ee82d1ae2e52.tar.gz sonarqube-7e59b1e27f80a5d466913a3b9040ee82d1ae2e52.zip | |
[scripts] declare bash function in portable fashion
Diffstat (limited to 'scripts/property_utils.sh')
| -rwxr-xr-x | scripts/property_utils.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/property_utils.sh b/scripts/property_utils.sh index 57b94f23ee5..0232d0cd1d1 100755 --- a/scripts/property_utils.sh +++ b/scripts/property_utils.sh @@ -8,12 +8,12 @@ set -euo pipefail -function cnt_lines { +cnt_lines() { local FILE=$1 wc -l < "$FILE" } -function write_prop { +write_prop() { local PROPERTY=$1 local VALUE=$2 local FILE=$3 @@ -25,7 +25,7 @@ function write_prop { echo "${PROPERTY}=${VALUE}" >> "$FILE" } -function set_property { +set_property() { local PROPERTY=$1 local VALUE=$2 local FILE=$3 |