add `make push` command

This commit is contained in:
Yuichi Nishiwaki 2017-03-23 01:32:07 +09:00
parent ad1912119d
commit 25e2ad7505
1 changed files with 4 additions and 1 deletions

View File

@ -89,6 +89,9 @@ test-repl-issue: $(REPL_ISSUE_TESTS)
$(REPL_ISSUE_TESTS):
PICRIN=./$(TEST_RUNNER) ./$@
push:
git subtree push --prefix=lib git@github.com:picrin-scheme/libpicrin.git master
install: all
install -c picrin $(prefix)/bin/picrin
@ -99,4 +102,4 @@ clean:
rm -f $(PICRIN_OBJS)
rm -f $(CONTRIB_OBJS)
.PHONY: all install clean run test test-r7rs test-contribs test-issue test-picrin-issue test-repl-issue doc $(CONTRIB_TESTS) $(REPL_ISSUE_TESTS)
.PHONY: all install clean push run test test-r7rs test-contribs test-issue test-picrin-issue test-repl-issue doc $(CONTRIB_TESTS) $(REPL_ISSUE_TESTS)