From ef4027a7a87aa2ac5700c16e8253da0c97dcf3b6 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Thu, 11 Jul 2013 11:43:20 +0200
Subject: [PATCH] Disable noux run script for i.MX53 platform

This platform misses necessary UART driver support.
---
 ports/run/noux.run | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ports/run/noux.run b/ports/run/noux.run
index 2da9f6ab3f..90def653c3 100644
--- a/ports/run/noux.run
+++ b/ports/run/noux.run
@@ -1,5 +1,5 @@
-if {[have_spec linux]} {
-	puts "\nLinux not supported because of missing UART driver\n"
+if {[expr [have_spec linux] || [have_spec platform_imx53]]} {
+	puts "\nPlatform not supported because of missing UART driver\n"
 	exit 0
 }