From fc94b454482181bbf2dffc1ddb91a048cd9e2949 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=2E=20Fernando=20S=C3=A1nchez?= Date: Fri, 29 Sep 2017 15:14:29 +0200 Subject: [PATCH] Updated makefiles from gsictl --- makefiles.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefiles.mk b/makefiles.mk index 158c332..d97127b 100644 --- a/makefiles.mk +++ b/makefiles.mk @@ -11,6 +11,6 @@ makefiles-push: makefiles-pull: makefiles-remote git subtree pull --prefix=.makefiles/ makefiles master --squash -update:: makefiles-pull +pull:: makefiles-pull .PHONY:: makefiles-remote makefiles-commit makefiles-push makefiles-pull