From 134f54a602af7311cb3369074a17752e0ccb1ec5 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 25 Feb 2013 12:06:37 +0100
Subject: [PATCH] noux_tool_chain_nova: Don't restrict to Fiasco.OC

Thanks to @alexab's recent work on base-nova and the NOVA kernel, the
test is expected to run successfully on NOVA too.
---
 ports/run/noux_tool_chain_nova.run | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/ports/run/noux_tool_chain_nova.run b/ports/run/noux_tool_chain_nova.run
index d3fd5ee21..184d2ee00 100644
--- a/ports/run/noux_tool_chain_nova.run
+++ b/ports/run/noux_tool_chain_nova.run
@@ -4,11 +4,6 @@
 # \date   2012-11-26
 #
 
-if {![have_spec foc_x86_32]} {
-        puts "\nThis run script is currently only supported on the 'foc_x86_32' target platform\n"
-        exit 0
-}
-
 set platform          "nova_x86_32"
 set platform_base_dir "base-nova"
 set platform_pkgs     ""