tools/configure.sh: Copy output to stderr on errors.

This helps when redirecting stdout to /dev/null (as in the CI for example) and still be able to catch error output.

Signed-off-by: Abdelatif Guettouche <abdelatif.guettouche@espressif.com>
This commit is contained in:
Abdelatif Guettouche
2021-10-06 11:15:13 +02:00
committed by Xiang Xiao
parent f6fdc81c2d
commit 04a6e1cc29
+7 -7
View File
@@ -112,9 +112,9 @@ done
# Sanity checking
if [ -z "${boardconfig}" ]; then
echo ""
echo "Missing <board/config> argument"
echo "$USAGE"
echo "" 1>&2
echo "Missing <board/config> argument" 1>&2
echo "$USAGE" 1>&2
exit 2
fi
@@ -134,10 +134,10 @@ if [ ! -d ${configpath} ]; then
if [ ! -d ${configpath} ]; then
configpath=${boardconfig}
if [ ! -d ${configpath} ]; then
echo "Directory for ${boardconfig} does not exist."
echo ""
echo "Run tools/configure.sh -L to list available configurations."
echo "$USAGE"
echo "Directory for ${boardconfig} does not exist." 1>&2
echo "" 1>&2
echo "Run tools/configure.sh -L to list available configurations." 1>&2
echo "$USAGE" 1>&2
exit 3
fi
fi