Updated makefiles from senpy

7 years ago · 473efd8dd7
parent 6f489acdfc
commit 473efd8dd7
1 changed files with 14 additions and 0 deletions
--- a/makefiles.mk
+++ 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