summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSanjit Bhat <[email protected]>2023-09-19 14:21:01 -0400
committerSanjit Bhat <[email protected]>2023-09-19 14:21:01 -0400
commit6ba06c6a6d6f036081327a330b4aa57c22dc49a9 (patch)
treebb4d93e220b31d202f1c6dbedb87fe2949dde568 /Makefile
parent63f1eb99e584ac2aee2c5831824d71a7220dbc7f (diff)
downloadxv6-labs-6ba06c6a6d6f036081327a330b4aa57c22dc49a9.tar.gz
xv6-labs-6ba06c6a6d6f036081327a330b4aa57c22dc49a9.tar.bz2
xv6-labs-6ba06c6a6d6f036081327a330b4aa57c22dc49a9.zip
update grading and zipball rule
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 5844ba3..c60ea76 100644
--- a/Makefile
+++ b/Makefile
@@ -272,6 +272,7 @@ clean:
mkfs/mkfs .gdbinit \
$U/usys.S \
$(UPROGS) \
+ lab.zip \
ph barrier
# try to generate a unique GDB port
@@ -363,7 +364,7 @@ submit-check:
test "$$r" = y; \
fi
-zipball: submit-check
- git archive --format=zip --output lab.zip HEAD
+zipball: clean submit-check
+ git archive --verbose --format zip --output lab.zip HEAD
.PHONY: zipball clean grade submit-check