summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSanjit Bhat <[email protected]>2023-09-19 14:22:19 -0400
committerSanjit Bhat <[email protected]>2023-09-19 14:22:19 -0400
commitf048e92d8d22d166f6a806ebe79d6bc6f87ba9c1 (patch)
tree8453e7f52410849a45e3008e19ce435a4eb574b6 /Makefile
parent4831426469c2ae78ddab6df14a3c0659b9008b03 (diff)
downloadxv6-labs-f048e92d8d22d166f6a806ebe79d6bc6f87ba9c1.tar.gz
xv6-labs-f048e92d8d22d166f6a806ebe79d6bc6f87ba9c1.tar.bz2
xv6-labs-f048e92d8d22d166f6a806ebe79d6bc6f87ba9c1.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