summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSanjit Bhat <[email protected]>2023-09-19 14:21:54 -0400
committerSanjit Bhat <[email protected]>2023-09-19 14:21:54 -0400
commite3489c3f84431b18748e2e63ef33be5d6caddf3a (patch)
tree03f74c1016eb2e5b6d49a9c3dfcde6d6dea03dc4 /Makefile
parent0a22d28fdb2e421397cc882e0c6028d93058dc2d (diff)
downloadxv6-labs-e3489c3f84431b18748e2e63ef33be5d6caddf3a.tar.gz
xv6-labs-e3489c3f84431b18748e2e63ef33be5d6caddf3a.tar.bz2
xv6-labs-e3489c3f84431b18748e2e63ef33be5d6caddf3a.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