From d7824995410d456f8e57620248bb3627fce6789b Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Tue, 9 Jul 2019 13:59:59 +0200 Subject: [PATCH] sculpt/README: specify BOARD for building --- repos/gems/recipes/pkg/sculpt/README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/gems/recipes/pkg/sculpt/README b/repos/gems/recipes/pkg/sculpt/README index 816f6228f0..581fe8000f 100644 --- a/repos/gems/recipes/pkg/sculpt/README +++ b/repos/gems/recipes/pkg/sculpt/README @@ -1184,7 +1184,7 @@ a free download at [https://genode.org]. # Create the Sculpt boot image (defined by the run script at _repos/gems/run/sculpt.run_) - ! make -C build/x86_64 run/sculpt KERNEL=nova + ! make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc The boot image is created at _build/x86_64/var/run/sculpt.img_.