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