diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/property_utils.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/property_utils.sh b/scripts/property_utils.sh index ea1545d5b24..8ac285af760 100755 --- a/scripts/property_utils.sh +++ b/scripts/property_utils.sh @@ -10,7 +10,7 @@ set -euo pipefail function cnt_lines() { local FILE=$1 - wc -l $1 + cat $FILE | wc -l } function write_prop() { |