From 1451fa2cbb877172e446a7f45c86c2e58d0a3450 Mon Sep 17 00:00:00 2001 From: Vencislav Atanasov Date: Sun, 10 Nov 2024 02:19:41 +0200 Subject: [PATCH] Reorder targets by number Change-Id: I9c437fbb0949c18251b2b9cfea04e9e82ebecdb4 --- tools/configure | 113 +++++++++++++++++++++++------------------------- 1 file changed, 55 insertions(+), 58 deletions(-) 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 <