From f4b45ff5f7789afc631b73fb9ba7e6cf61a8f61e Mon Sep 17 00:00:00 2001
From: Daniel Frank <git@danielfrank.net>
Date: Fri, 16 Aug 2019 22:58:56 +0200
Subject: [PATCH] build.sh: the make that lists the targets can run a long
 time, copy the output to /dev/stderr

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index b724efc..820790a 100755
--- a/build.sh
+++ b/build.sh
@@ -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')"