From cc8ae71ff4d025a3aee9545a16422b5aaa5ad33f Mon Sep 17 00:00:00 2001 From: haskal Date: Sat, 14 Mar 2020 18:08:58 -0400 Subject: [PATCH] Update makefile --- Makefile | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/Makefile b/Makefile index 7044cbb..1a265be 100644 --- a/Makefile +++ b/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) ."