diff options
| author | ruki <[email protected]> | 2022-10-30 11:24:34 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2022-10-30 11:24:34 +0800 |
| commit | fdff022d0732c24f8e2d8076896c2b44db03139b (patch) | |
| tree | 937a701d85d408557a2279fde7349412cd70fa46 /xmake/modules/devel/git/push.lua | |
| parent | 441628171fac4ea543c1c87f66c533237c2067e4 (diff) | |
improve git fsmonitor
Diffstat (limited to 'xmake/modules/devel/git/push.lua')
| -rw-r--r-- | xmake/modules/devel/git/push.lua | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/xmake/modules/devel/git/push.lua b/xmake/modules/devel/git/push.lua index b56ea4059..02585f020 100644 --- a/xmake/modules/devel/git/push.lua +++ b/xmake/modules/devel/git/push.lua @@ -39,8 +39,16 @@ import("branch", {alias = "git_branch"}) function main(url, opt) opt = opt or {} local git = assert(find_tool("git"), "git not found!") - - local argv = {"push", url} + local argv = {} + if opt.fsmonitor then + table.insert(argv, "-c") + table.insert(argv, "core.fsmonitor=true") + else + table.insert(argv, "-c") + table.insert(argv, "core.fsmonitor=false") + end + table.insert(argv, "push") + table.insert(argv, url) if opt.force then table.insert(argv, "--force") end |
