diff options
| -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 8ac285af760..ea1545d5b24 100755 --- a/scripts/property_utils.sh +++ b/scripts/property_utils.sh @@ -10,7 +10,7 @@ set -euo pipefail function cnt_lines() { local FILE=$1 - cat $FILE | wc -l + wc -l $1 } function write_prop() { |