fix kernel name

2022-04-04 10:23:54 -04:00 · 2022-04-04 10:23:54 -04:00 · f33db2b42a
parent 6f257c5b7b
commit f33db2b42a
1 changed files with 1 additions and 1 deletions
--- a/Makefile.builder
+++ b/Makefile.builder
@ -1,4 +1,4 @@
-MIRAGE_KERNEL_NAME = qubes_firewall.xen
+MIRAGE_KERNEL_NAME = dist/qubes-firewall.xen
 OCAML_VERSION ?= 4.14.0
 SOURCE_BUILD_DEP := firewall-build-dep