docker-library
/
official-images
mirror of https://github.com/docker-library/official-images.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix "children.sh" harder

This commit is contained in:
Tianon Gravi 2017-06-14 14:54:10 -07:00
parent 4d4bd7917a
commit 06ba034cf6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
children.sh
View File

@ -11,11 +11,11 @@ set -- $("$BASHBREW" list --uniq --repos --build-order --apply-constraints "$@")
# \o/ https://github.com/docker-library/official-images/commit/9e57342714f99074ec205eea668c8b73aada36ec # \o/ https://github.com/docker-library/official-images/commit/9e57342714f99074ec205eea668c8b73aada36ec
comm -13 \ comm -13 \
<("$BASHBREW" list "$@" | sort -u) \ <("$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 | xargs --no-run-if-empty "$BASHBREW" list --build-order --apply-constraints --uniq
exit 0 exit 0
children=( $("$BASHBREW" children "$@") ) children=( $("$BASHBREW" children --apply-constraints "$@") )
[ "${#children[@]}" -gt 0 ] || exit 0 [ "${#children[@]}" -gt 0 ] || exit 0