diff options
| author | Michael Olbrich <m.olbrich@pengutronix.de> | 2020-08-15 10:22:47 +0200 |
|---|---|---|
| committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2020-08-15 11:25:19 +0200 |
| commit | 304775496041cf638d639a30eb338bd8c68caa03 (patch) | |
| tree | 27b0abae143c4ece764682634adb21e08f61b92d /bin | |
| parent | ad1264c33457e212f5a649ce1838c074b1149572 (diff) | |
| download | ptxdist-304775496041cf638d639a30eb338bd8c68caa03.tar.gz ptxdist-304775496041cf638d639a30eb338bd8c68caa03.tar.xz | |
use '$(< ...)' instead cat
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/ptxdist | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 9e2e365f0..0d5e4328e 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -515,8 +515,8 @@ check_dirs() { echo lower > "${testfile_lower}" echo upper > "${testfile_upper}" - if [ "$(cat "${testfile_lower}")" != "lower" -o \ - "$(cat "${testfile_upper}")" != "upper" ]; then + if [ "$(<"${testfile_lower}")" != "lower" -o \ + "$(<"${testfile_upper}")" != "upper" ]; then echo echo "error: '${dir}'" echo " is not a case sensitive filesystem." |