diff options
| author | Sanjit Bhat <sanjit.bhat@gmail.com> | 2023-09-19 14:22:44 -0400 |
|---|---|---|
| committer | Sanjit Bhat <sanjit.bhat@gmail.com> | 2023-09-19 14:22:44 -0400 |
| commit | fa0bdd7cd97c01bb61872eff0589147ec774ec2e (patch) | |
| tree | f18b31e380fe21de008aeaf7769f9c725062d68e /Makefile | |
| parent | e3512e581807f0b7d0eeda44fcf002062ddd558a (diff) | |
| download | xv6-labs-fa0bdd7cd97c01bb61872eff0589147ec774ec2e.tar.gz xv6-labs-fa0bdd7cd97c01bb61872eff0589147ec774ec2e.tar.bz2 xv6-labs-fa0bdd7cd97c01bb61872eff0589147ec774ec2e.zip | |
update grading and zipball rule
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -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 |