diff options
Diffstat (limited to 'tools/firmware/ovmf-makefile')
| -rw-r--r-- | tools/firmware/ovmf-makefile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/tools/firmware/ovmf-makefile b/tools/firmware/ovmf-makefile new file mode 100644 index 0000000000..c3cd4663c8 --- /dev/null +++ b/tools/firmware/ovmf-makefile @@ -0,0 +1,17 @@ +# OVMF building system is not ready yet to run in parallel. +# Force it to be serial in order to exploit parallelism for neighbors. + +.NOTPARALLEL: +MAKEFLAGS += -j1 + +.PHONY: all +all: ovmf.bin + +.PHONY: ovmf.bin +ovmf.bin: + OvmfPkg/build.sh -a X64 + cp Build/OvmfX64/DEBUG_GCC44/FV/OVMF.fd ovmf.bin + +.PHONY: clean +clean: + rm -rf ovmf.bin Build/* |