Merge d149146da7
into 144f35b82d
This commit is contained in:
commit
483d60e4b6
1 changed files with 2 additions and 1 deletions
|
@ -14,7 +14,8 @@ if [[ ! -d "$BOOTSTRAP_D" ]]; then
|
|||
exit 1
|
||||
fi
|
||||
|
||||
find -L "$BOOTSTRAP_D" -type f | sort | while IFS= read -r bootstrap; do
|
||||
mapfile -t bootstraps < <(find -L "$BOOTSTRAP_D" -type f | sort)
|
||||
for bootstrap in "${bootstraps[@]}"; do
|
||||
if [[ -x "$bootstrap" && ! "$bootstrap" =~ "##" && ! "$bootstrap" =~ "~$" ]]; then
|
||||
if ! "$bootstrap"; then
|
||||
echo "Error: bootstrap '$bootstrap' failed" >&2
|
||||
|
|
Loading…
Reference in a new issue