From eb0d5671b51e167b6ba4972f83a925aa621d67e3 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 2 Feb 2017 15:39:46 +0100
Subject: [PATCH] tool: fix kernel-specific QEMU_OPT handling

---
 tool/builddir/build.conf/qemu_opt_arm | 2 +-
 tool/builddir/build.conf/qemu_opt_x86 | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tool/builddir/build.conf/qemu_opt_arm b/tool/builddir/build.conf/qemu_opt_arm
index f0a44519f6..d984d01657 100644
--- a/tool/builddir/build.conf/qemu_opt_arm
+++ b/tool/builddir/build.conf/qemu_opt_arm
@@ -10,5 +10,5 @@
 QEMU_OPT += -display sdl
 
 # add kernel-specific Qemu arguments
-QEMU_OPT += $(QEMU_OPT(${KERNEL})}
+QEMU_OPT += $(QEMU_OPT(${KERNEL}))
 
diff --git a/tool/builddir/build.conf/qemu_opt_x86 b/tool/builddir/build.conf/qemu_opt_x86
index e784260d86..294dbfef7e 100644
--- a/tool/builddir/build.conf/qemu_opt_x86
+++ b/tool/builddir/build.conf/qemu_opt_x86
@@ -16,5 +16,5 @@ QEMU_OPT += -display sdl
 QEMU_OPT(nova) += -cpu core2duo
 
 # add kernel-specific Qemu arguments
-QEMU_OPT += $(QEMU_OPT(${KERNEL})}
+QEMU_OPT += $(QEMU_OPT(${KERNEL}))