From 0a084ebe5272082cad219620b10cb159eb64e4f3 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 4 Jan 2013 16:10:28 +0100
Subject: [PATCH] Add failsafe test to autopilot

---
 os/run/failsafe.run | 5 +++++
 tool/autopilot.list | 1 +
 2 files changed, 6 insertions(+)

diff --git a/os/run/failsafe.run b/os/run/failsafe.run
index ebb3ebce04..b9c5f93cbc 100644
--- a/os/run/failsafe.run
+++ b/os/run/failsafe.run
@@ -4,6 +4,11 @@
 # \date   2012-11-01
 #
 
+if {[have_spec pistachio]} {
+	puts "Pistachio is unsupported (see https://github.com/genodelabs/genode/issues/16)"
+	exit 0
+}
+
 #
 # Build
 #
diff --git a/tool/autopilot.list b/tool/autopilot.list
index 669857e92e..3af6df84d0 100644
--- a/tool/autopilot.list
+++ b/tool/autopilot.list
@@ -16,3 +16,4 @@ lx_hybrid_exception
 lx_hybrid_pthread_ipc
 moon
 thread_join
+failsafe