build.sh: the make that lists the targets can run a long time, copy the output to /dev/stderr

This commit is contained in:
Daniel Frank 2019-08-16 22:58:56 +02:00
parent e763875644
commit f4b45ff5f7
Signed by: tokudan
GPG key ID: 063CCCAD04182D32

View file

@ -96,7 +96,7 @@ done
if [ "$auto_targets" = "1" ]; then
# detect available targets
targets="$(make | awk '$1 == "*" {print $2}' | sort | xargs)"
targets="$(make | tee /dev/stderr | awk '$1 == "*" {print $2}' | sort | xargs)"
else
# if a list of build targets has been supplied, only build those
targets="$(echo "${build_targets:-$targets}" | sed -e 's_,_ _g')"