From 473efd8dd7102c18d4fe6fa0c58fe848f2753aac Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=2E=20Fernando=20S=C3=A1nchez?= Date: Wed, 27 Sep 2017 21:13:49 +0200 Subject: [PATCH] Updated makefiles from senpy --- makefiles.mk | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 makefiles.mk diff --git a/makefiles.mk b/makefiles.mk new file mode 100644 index 0000000..2b80a94 --- /dev/null +++ b/makefiles.mk @@ -0,0 +1,14 @@ +makefiles-remote: + git remote add makefiles ssh://git@lab.cluster.gsi.dit.upm.es:2200/docs/templates/makefiles.git || true + +makefiles-commit: + git add -f .makefiles + git commit -m "Updated makefiles from ${NAME}" + +makefiles-push: makefiles-remote + git subtree push --prefix=.makefiles/ makefiles $(NAME) + +makefiles-pull: makefiles-remote + git subtree pull --prefix=.makefiles/ makefiles master --squash + +.PHONY:: makefiles-remote makefiles-commit makefiles-push makefiles-pull