diff --git a/Makefile b/Makefile index a2e94a7a1af076854e421b48f3cf17f3b11368a4..369a3109ffb0dd6ba5c80623f65bcd9a501c545d 100644 --- a/Makefile +++ b/Makefile @@ -251,7 +251,7 @@ GDBARGS += -ex 'set riscv use-compressed-breakpoints yes' gdb: - $(GDB) $(GDBARGS) + $(GDB) ## ## FOR testing lab grading script @@ -274,7 +274,7 @@ format: python3 clang-format.py diff: - git diff syscall-base HEAD > commit.patch + git diff origin/syscall HEAD > commit.patch ## ## FOR web handin