mirror of https://github.com/gsi-upm/senpy
You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
15 lines
495 B
Makefile
15 lines
495 B
Makefile
7 years ago
|
makefiles-remote:
|
||
|
git remote add makefiles ssh://git@lab.cluster.gsi.dit.upm.es:2200/docs/templates/makefiles.git || true
|
||
|
|
||
|
makefiles-commit: makefiles-remote
|
||
|
git add -f .makefiles
|
||
|
git commit -em "Updated makefiles from ${NAME}"
|
||
|
|
||
|
makefiles-push: makefiles-commit
|
||
|
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
|