1
0
mirror of https://github.com/gsi-upm/senpy synced 2024-11-22 00:02:28 +00:00

Updated makefiles from senpy

This commit is contained in:
J. Fernando Sánchez 2017-09-27 21:43:54 +02:00
parent 5d68c0225a
commit 0ccdf735e1

View File

@ -5,7 +5,7 @@ makefiles-commit: makefiles-remote
git add -f .makefiles
git commit -em "Updated makefiles from ${NAME}"
makefiles-push: makefiles-commit
makefiles-push:
git subtree push --prefix=.makefiles/ makefiles $(NAME)
makefiles-pull: makefiles-remote