changeset 540:b9988caa505a dev

Update to "dev" branch explicitly
author HIROSE Yuuji <yuuji@gentei.org>
date Thu, 31 May 2018 09:38:52 +0900
parents 7828dfd07246
children 7595fc6462ff
files makefile
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/makefile	Thu May 31 09:34:29 2018 +0900
+++ b/makefile	Thu May 31 09:38:52 2018 +0900
@@ -237,4 +237,4 @@
 	-hg push
 	-hg push git
 	-hg push cvs
-	(cd ${RSYNCDIR} && hg up -v && cvs ci -m '')
+	(cd ${RSYNCDIR} && hg up -Cv dev && cvs ci -m '')