From 0dc93fc16be7e659fef1c9cbed838659f89a7538 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=2E=20Fernando=20S=C3=A1nchez?= Date: Fri, 29 Sep 2017 15:53:14 +0200 Subject: [PATCH] Updated makefiles from gsictl --- makefiles.mk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/makefiles.mk b/makefiles.mk index d97127b..03dcc17 100644 --- 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