makefiles.mk 575 Bytes
Newer Older
1
makefiles-remote:
2
	@git remote add makefiles ssh://git@lab.cluster.gsi.dit.upm.es:2200/docs/templates/makefiles.git 2>/dev/null || true
3
4
5
6
7

makefiles-commit: makefiles-remote
	git add -f .makefiles
	git commit -em "Updated makefiles from ${NAME}"

8
makefiles-push:
9
	git fetch makefiles $(NAME)
10
11
12
13
14
	git subtree push --prefix=.makefiles/ makefiles $(NAME)

makefiles-pull: makefiles-remote
	git subtree pull --prefix=.makefiles/ makefiles master --squash

15
pull:: makefiles-pull
16
push:: makefiles-push
17

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