diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tests/qemu/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/tests/qemu/Makefile b/src/tests/qemu/Makefile index eed7d4d..8d76394 100644 --- a/src/tests/qemu/Makefile +++ b/src/tests/qemu/Makefile @@ -229,6 +229,11 @@ $(KERNEL_PATH)/.installed: mkdir -p $(dir $(KERNEL_PATH)) flock -s $(dir $(KERNEL_TAR))/$(KERNEL_VERSION).lock git clone $(GIT_URI_$(patsubst %-git,%,$(patsubst %-debug,%,$(KERNEL_VERSION)))) $(KERNEL_PATH) touch $@ +always-pull: $(KERNEL_PATH)/.installed + flock -s $(dir $(KERNEL_TAR))/$(KERNEL_VERSION).lock git -C $(KERNEL_PATH) fetch + flock -s $(dir $(KERNEL_TAR))/$(KERNEL_VERSION).lock git -C $(KERNEL_PATH) reset --hard FETCH_HEAD +.PHONY: always-pull +$(KERNEL_BZIMAGE): always-pull endif $(KERNEL_PATH)/.config: kernel.config arch/$(QEMU_ARCH).config | $(KERNEL_PATH)/.installed |