mirror of
https://github.com/gsi-upm/senpy
synced 2024-11-25 01:22:28 +00:00
Updated makefiles from senpy
This commit is contained in:
parent
cda9f5c4ca
commit
7444aa7ec8
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user