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