From f58a046003a8c412b804cfd9820c210d21e3b466 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Mon, 16 Jan 2017 09:29:45 +0100 Subject: [PATCH] Add x86 driver repositories to muen build.conf --- tool/create_builddir | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tool/create_builddir b/tool/create_builddir index 4ca26a3210..64d44787e7 100755 --- a/tool/create_builddir +++ b/tool/create_builddir @@ -132,7 +132,7 @@ BUILD_CONF(wand_quad) := run_kernel_hw run_boot_dir repos BUILD_CONF(odroid_xu) := run_kernel_hw run_boot_dir repos BUILD_CONF(odroid_x2) := run_kernel_foc run_boot_dir repos BUILD_CONF(zynq_qemu) := run_kernel_hw run_qemu run_opt_hw run_boot_dir qemu_opt_arm repos -BUILD_CONF(muen) := run_kernel_hw run_opt_muen run_boot_dir repos +BUILD_CONF(muen) := run_kernel_hw run_opt_muen run_boot_dir repos repos_x86 BUILD_CONF(riscv_spike) := run_kernel_hw run_opt_spike run_boot_dir repos BUILD_CONF(linux) := run_kernel_linux repos