diff options
| author | ruki <[email protected]> | 2022-10-30 11:15:59 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2022-10-30 11:15:59 +0800 |
| commit | 441628171fac4ea543c1c87f66c533237c2067e4 (patch) | |
| tree | d03ae0e748048921c6cab2b64bf3686a270c1a5a /xmake/modules/devel/git/pull.lua | |
| parent | b3f903777bfde99b9d69aaa2183175d3babe289b (diff) | |
improve git module
Diffstat (limited to 'xmake/modules/devel/git/pull.lua')
| -rw-r--r-- | xmake/modules/devel/git/pull.lua | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/xmake/modules/devel/git/pull.lua b/xmake/modules/devel/git/pull.lua index 412e6e757..c5f1f6a55 100644 --- a/xmake/modules/devel/git/pull.lua +++ b/xmake/modules/devel/git/pull.lua @@ -45,7 +45,12 @@ function main(opt) local git = assert(find_tool("git"), "git not found!") -- init argv - local argv = {"pull"} + local argv = {} + if opt.fsmonitor ~= nil then + table.insert(argv, "-c") + table.insert(argv, "core.fsmonitor=" .. tostring(opt.fsmonitor)) + end + table.insert(argv, "pull") -- set remote table.insert(argv, opt.remote or "origin") |
