From a44aac79ed0c01ac47e461145cca7551754ce33a Mon Sep 17 00:00:00 2001
From: haskal <haskal@bepis.xyz>
Date: Sat, 14 Mar 2020 18:02:44 -0400
Subject: [PATCH] Update makefile

---
 Makefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 6d95822..7044cbb 100644
--- a/Makefile
+++ b/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)
 CCIS_TEAM_NAME=hash-lang-uwu
@@ -49,5 +49,8 @@ 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); $(CCIS_TURNIN) $(CCIS_PROJECT_NAME) ."
+	ssh $(CCIS_SERVER) -t -- "cd $(CCIS_PATH); make ccis-build; $(CCIS_TURNIN) $(CCIS_PROJECT_NAME) ."