From 650720396c6aa45cf205a6e5c0e79f74b52588eb Mon Sep 17 00:00:00 2001 From: ruki Date: Fri, 16 Dec 2022 00:41:56 +0800 Subject: fix configure --- configure | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/configure b/configure index 833c385a4..dfe0427e4 100755 --- a/configure +++ b/configure @@ -931,7 +931,9 @@ option() { fi return fi - _xmake_sh_options="${_xmake_sh_options} ${name}" + if ! _map_has "options" "${name}_name"; then + _xmake_sh_options="${_xmake_sh_options} ${name}" + fi _map_set "options" "${name}_name" "${name}" _map_set "options" "${name}_description" "${description}" _map_set "options" "${name}_default" "${default}" @@ -1207,7 +1209,9 @@ target() { if ! ${_loading_targets}; then return fi - _xmake_sh_targets="${_xmake_sh_targets} ${name}" + if ! _map_has "targets" "${name}_name"; then + _xmake_sh_targets="${_xmake_sh_targets} ${name}" + fi _map_set "targets" "${name}_name" "${name}" return 0 } -- cgit v1.3.1