diff options
| author | ruki <[email protected]> | 2022-12-16 00:41:56 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2022-12-16 00:41:56 +0800 |
| commit | 650720396c6aa45cf205a6e5c0e79f74b52588eb (patch) | |
| tree | ff55fdd731c6babc20b5f6bab09db304cbea08e3 | |
| parent | f424cf319f7d9548d51918abf5959a814313b4fe (diff) | |
fix configure
| -rwxr-xr-x | configure | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -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 } |
