diff options
| author | ruki <[email protected]> | 2023-04-30 15:23:52 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-04-30 15:23:52 +0800 |
| commit | 76bfacb404b3736934515c7b2ce68b2887bd7b17 (patch) | |
| tree | 3e67ca604fadbfb6488d61a6e6938d0c047e0f44 | |
| parent | 5075fc82edcb714df4f34f4dec34268ee2914d49 (diff) | |
| parent | 7df5a4647b5444c2ed0e31d322173fa52d92dd5f (diff) | |
Merge pull request #3696 from wsw0108/check-debugger-gede
check debugger gede with 'norun = true'
| -rw-r--r-- | xmake/modules/devel/debugger/run.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/xmake/modules/devel/debugger/run.lua b/xmake/modules/devel/debugger/run.lua index 2fe85ccef..37ed22d97 100644 --- a/xmake/modules/devel/debugger/run.lua +++ b/xmake/modules/devel/debugger/run.lua @@ -267,7 +267,8 @@ function _run_gede(program, argv, opt) -- find gede opt = opt or {} - local gede = find_tool("gede", {program = config.get("debugger")}) + -- 'gede --version' return with non-zero code + local gede = find_tool("gede", {program = config.get("debugger"), norun = true}) if not gede then return false end |