diff --git a/tools/configure b/tools/configure index 263a9c6a9a..16370b6cc0 100755 --- a/tools/configure +++ b/tools/configure @@ -1626,64 +1626,61 @@ if [ "$ARG_TARGET" ]; then else echo "Enter target platform:" cat <