Updated makefiles from gsictl

7 years ago · 0dc93fc16b
parent cbef9630b4
commit 0dc93fc16b
1 changed files with 2 additions and 1 deletions
--- a/makefiles.mk
+++ b/makefiles.mk
@ -12,5 +12,6 @@ makefiles-pull: makefiles-remote
 	git subtree pull --prefix=.makefiles/ makefiles master --squash

 pull:: makefiles-pull
+push:: makefiles-push

-.PHONY:: makefiles-remote makefiles-commit makefiles-push makefiles-pull
+.PHONY:: makefiles-remote makefiles-commit makefiles-push makefiles-pull pull push