diff options
| author | ruki <[email protected]> | 2018-10-09 00:40:32 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2018-10-08 22:03:13 +0800 |
| commit | 17a1749337c56f361cea51f43ff59b43a7954d34 (patch) | |
| tree | a191cee5dcda2277b5be1cb386125c0c1be9266d /xmake/plugins | |
| parent | 5e8c2f16adcd0f0549a8c7f019fb7f8bf3d4732a (diff) | |
check the updated repo
Diffstat (limited to 'xmake/plugins')
| -rw-r--r-- | xmake/plugins/repo/main.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/xmake/plugins/repo/main.lua b/xmake/plugins/repo/main.lua index 10a279cfe..e91682fcf 100644 --- a/xmake/plugins/repo/main.lua +++ b/xmake/plugins/repo/main.lua @@ -109,6 +109,9 @@ function _update() -- pull it git.pull({verbose = option.get("verbose"), branch = "master", repodir = repodir}) + + -- mark as updated + io.save(path.join(repodir, "updated"), {}) end else -- trace @@ -116,6 +119,9 @@ function _update() -- clone it git.clone(repo:url(), {verbose = option.get("verbose"), branch = "master", outputdir = repodir}) + + -- mark as updated + io.save(path.join(repodir, "updated"), {}) end -- pull this repository ok |
