diff options
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 |