makefiles.mk 514 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
10
11
12
13
	git subtree push --prefix=.makefiles/ makefiles $(NAME)

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

14
pull:: makefiles-pull
15

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