From aa90efbf775d448848b1abf780e44e822b4926db Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 15 Aug 2012 14:28:42 +0200
Subject: [PATCH] Disable libc_ffat test on 64bit

The test cannot be expected to work on 64-bit machines because the ATAPI
driver is currently supported on 32-bit only.
---
 libports/run/libc_ffat.run | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/libports/run/libc_ffat.run b/libports/run/libc_ffat.run
index 71dbd42ebb..6eff7d74f2 100644
--- a/libports/run/libc_ffat.run
+++ b/libports/run/libc_ffat.run
@@ -10,6 +10,9 @@ if {[catch { exec which mkfs.vfat } ]} {
 if {[have_spec linux]} {
 	puts "Run script does not support this platform"; exit }
 
+if {[have_spec 64bit]} {
+	puts "ATAPI driver does not support 64 bit."; exit 0 }
+
 #
 # Build
 #