mirror of
https://github.com/HDFGroup/hdf5.git
synced 2025-03-19 16:50:46 +08:00
provide an alternative to mapfile for older bash (#3717)
This commit is contained in:
parent
c4a146efc4
commit
8c69566da6
@ -243,9 +243,15 @@ if test -z "$subfile_dir"; then
|
||||
exit $FAILED
|
||||
fi
|
||||
|
||||
# For bash 4.4+
|
||||
subfs=$(sed -e '1,/subfile_dir=/d' "$file_config")
|
||||
mapfile -t subfiles <<< "$subfs"
|
||||
if command -v mapfile > /dev/null; then
|
||||
# For bash 4.4+
|
||||
mapfile -t subfiles <<< "$subfs"
|
||||
else
|
||||
while IFS= read -r line; do
|
||||
subfiles+=("$line")
|
||||
done <<< "$subfs"
|
||||
fi
|
||||
if [ ${#subfiles[@]} -eq 0 ]; then
|
||||
echo -e "$RED failed to find subfiles list in $file_config $NC"
|
||||
exit $FAILED
|
||||
|
Loading…
x
Reference in New Issue
Block a user