summaryrefslogtreecommitdiff
path: root/xmake/plugins
diff options
context:
space:
mode:
authorruki <[email protected]>2018-10-09 00:40:32 +0800
committerruki <[email protected]>2018-10-08 22:03:13 +0800
commit17a1749337c56f361cea51f43ff59b43a7954d34 (patch)
treea191cee5dcda2277b5be1cb386125c0c1be9266d /xmake/plugins
parent5e8c2f16adcd0f0549a8c7f019fb7f8bf3d4732a (diff)
check the updated repo
Diffstat (limited to 'xmake/plugins')
-rw-r--r--xmake/plugins/repo/main.lua6
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