From fa7329a3e619eb377f0e3d9ae81dbadc143a2d43 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 7 Aug 2013 08:16:04 +0200
Subject: [PATCH] run: remove duplicated include in seoul-fancy

Fixes #820
---
 ports/run/seoul-fancy.run | 2 --
 1 file changed, 2 deletions(-)

diff --git a/ports/run/seoul-fancy.run b/ports/run/seoul-fancy.run
index db5961a48..995f53509 100644
--- a/ports/run/seoul-fancy.run
+++ b/ports/run/seoul-fancy.run
@@ -44,8 +44,6 @@ foreach binary $guest_os_binaries {
 
 source ${genode_dir}/ports/run/seoul.inc
 
-source ${genode_dir}/ports/run/seoul.inc
-
 append qemu_args " -m 1024 "
 append qemu_args " -cpu phenom "
 append qemu_args " -net nic,model=e1000 "