summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorruki <[email protected]>2022-12-16 00:41:56 +0800
committerruki <[email protected]>2022-12-16 00:41:56 +0800
commit650720396c6aa45cf205a6e5c0e79f74b52588eb (patch)
treeff55fdd731c6babc20b5f6bab09db304cbea08e3
parentf424cf319f7d9548d51918abf5959a814313b4fe (diff)
fix configure
-rwxr-xr-xconfigure8
1 files 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
}