Update makefile
This commit is contained in:
parent
c1edb85562
commit
a44aac79ed
7
Makefile
7
Makefile
|
@ -1,4 +1,4 @@
|
||||||
.PHONY: all clean test c t netsim-shell pat upload submit
|
.PHONY: all clean test c t netsim-shell pat upload submit ccis-build debug-build release-build
|
||||||
|
|
||||||
SOURCES=$(shell git ls-tree -r master --name-only)
|
SOURCES=$(shell git ls-tree -r master --name-only)
|
||||||
CCIS_TEAM_NAME=hash-lang-uwu
|
CCIS_TEAM_NAME=hash-lang-uwu
|
||||||
|
@ -49,5 +49,8 @@ upload: $(SOURCES)
|
||||||
@rsync -avzzR --progress $^ $(CCIS_SERVER):$(CCIS_PATH)
|
@rsync -avzzR --progress $^ $(CCIS_SERVER):$(CCIS_PATH)
|
||||||
@ssh $(CCIS_SERVER) -t -- "tput bold; $(CCIS_FMT_CHECK) $(CCIS_PATH); tput sgr0"
|
@ssh $(CCIS_SERVER) -t -- "tput bold; $(CCIS_FMT_CHECK) $(CCIS_PATH); tput sgr0"
|
||||||
|
|
||||||
|
ccis-build: release-build
|
||||||
|
rm -rf target/
|
||||||
|
|
||||||
submit: upload
|
submit: upload
|
||||||
ssh $(CCIS_SERVER) -t -- "cd $(CCIS_PATH); $(CCIS_TURNIN) $(CCIS_PROJECT_NAME) ."
|
ssh $(CCIS_SERVER) -t -- "cd $(CCIS_PATH); make ccis-build; $(CCIS_TURNIN) $(CCIS_PROJECT_NAME) ."
|
||||||
|
|
Loading…
Reference in New Issue