From 25e2ad7505be2ca62cc5bec1623231428ff40f88 Mon Sep 17 00:00:00 2001 From: Yuichi Nishiwaki Date: Thu, 23 Mar 2017 01:32:07 +0900 Subject: [PATCH] add `make push` command --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index bb55e0f5..67b78313 100644 --- a/Makefile +++ b/Makefile @@ -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)