diff options
| author | Xi Ruoyao <xry111@xry111.site> | 2023-12-06 17:29:45 +0800 |
|---|---|---|
| committer | Xi Ruoyao <xry111@xry111.site> | 2023-12-06 17:29:45 +0800 |
| commit | 00de2694ce852e9b042eaa3225e0c079978e048f (patch) | |
| tree | 5aff230d8826aa7d5b5e0ff258b35da56df0f858 /chapter10/kernel/Makefile | |
| parent | 73d91ac621a4e59f71ff6664c68c935317f9ce42 (diff) | |
| parent | 7cce808a46c5a1df0de2c52827b89b63834436fe (diff) | |
Merge remote-tracking branch 'origin/trunk' into xry111/arm64
Diffstat (limited to 'chapter10/kernel/Makefile')
| -rw-r--r-- | chapter10/kernel/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/chapter10/kernel/Makefile b/chapter10/kernel/Makefile index e04d2d6b1..03de71ed9 100644 --- a/chapter10/kernel/Makefile +++ b/chapter10/kernel/Makefile @@ -19,5 +19,8 @@ s-kernel-version: fi touch s-kernel-version -%.xml: %.toml kernel-config.py kernel_version.py kernel.version +%.xml.tmp: %.toml kernel-config.py kernel_version.py kernel.version ./kernel-config.py $(KERNEL_TREE) $< > $@ + +%.xml: %.xml.tmp + mv $< $@ |