From 06ba034cf645ec0b1462f7a9f0912d18e3c57da1 Mon Sep 17 00:00:00 2001 From: Tianon Gravi Date: Wed, 14 Jun 2017 14:54:10 -0700 Subject: [PATCH] Fix "children.sh" harder --- children.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/children.sh b/children.sh index 1bf38f0e31..f8714a16f5 100755 --- a/children.sh +++ b/children.sh @@ -11,11 +11,11 @@ set -- $("$BASHBREW" list --uniq --repos --build-order --apply-constraints "$@") # \o/ https://github.com/docker-library/official-images/commit/9e57342714f99074ec205eea668c8b73aada36ec comm -13 \ <("$BASHBREW" list "$@" | sort -u) \ - <("$BASHBREW" children "$@" | sort -u) \ + <("$BASHBREW" children --apply-constraints "$@" | sort -u) \ | xargs --no-run-if-empty "$BASHBREW" list --build-order --apply-constraints --uniq exit 0 -children=( $("$BASHBREW" children "$@") ) +children=( $("$BASHBREW" children --apply-constraints "$@") ) [ "${#children[@]}" -gt 0 ] || exit 0