Browse code

makefile

guangchuang yu authored on 25/07/2017 02:44:28
Showing1 changed files

  • Makefile index 342a18a8..826a09e2 100644
... ...
@@ -80,6 +80,7 @@ gitmaintain:
80 80
 push:
81 81
 	git push -u origin master;\
82 82
 	git checkout bioc;\
83
+	git pull;\
83 84
 	git merge master;\
84 85
 	git push upstream master;\
85 86
 	git checkout master