From ac5b8143873e03f3528c739fa15e54f7627d0bc4 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 16 Jan 2013 15:57:33 +0100
Subject: [PATCH] base: enable rm_fault test case for nova
Related to #621
---
base/run/rm_fault.run | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/base/run/rm_fault.run b/base/run/rm_fault.run
index 476297ea16..15d4bf91d2 100644
--- a/base/run/rm_fault.run
+++ b/base/run/rm_fault.run
@@ -1,5 +1,5 @@
-if {[have_spec linux] || [have_spec nova] || [have_spec pistachio]} {
- puts "Platform doea not support managed dataspaces"; exit }
+if {[have_spec linux] || [have_spec pistachio]} {
+ puts "Platform does not support managed dataspaces"; exit }
build "core init test/rm_fault"