Merge pull request #56 from logeable/ch3-coop

This commit is contained in:
Yifan Wu 2022-02-20 14:37:10 +00:00 committed by GitHub
commit 42213b9da6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -33,9 +33,9 @@ build: env switch-check $(KERNEL_BIN)
switch-check: switch-check:
ifeq ($(BOARD), qemu) ifeq ($(BOARD), qemu)
(which last-qemu) || (rm last-k210 -f && touch last-qemu && make clean) (which last-qemu) || (rm -f last-k210 && touch last-qemu && make clean)
else ifeq ($(BOARD), k210) else ifeq ($(BOARD), k210)
(which last-k210) || (rm last-qemu -f && touch last-k210 && make clean) (which last-k210) || (rm -f last-qemu && touch last-k210 && make clean)
endif endif
env: env: