From f8039ddb74e4c805867379370a6f2e0816571921 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Tue, 25 Jan 2011 14:14:56 -0500
Subject: [PATCH] Another place that needs to know about f14

---
 collects/meta/build/build    | 2 +-
 collects/meta/dist-specs.rkt | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/collects/meta/build/build b/collects/meta/build/build
index 945a339104..821521edf5 100755
--- a/collects/meta/build/build
+++ b/collects/meta/build/build
@@ -272,9 +272,9 @@ platforms_of_dist_type() {
                    "i386-linux-fc6" \
                    "i386-linux-f7" \
                    "x86_64-linux-f7" \
-                   "x86_64-linux-f14" \
                    "i386-linux-f9" \
                    "i386-linux-f12" \
+                   "x86_64-linux-f14" \
                    "i386-linux-debian" \
                    "i386-linux-debian-testing" \
                    "i386-linux-debian-unstable" \
diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt
index 884c605f5e..221ec26c3c 100644
--- a/collects/meta/dist-specs.rkt
+++ b/collects/meta/dist-specs.rkt
@@ -92,6 +92,7 @@ i386-linux-f7     :=tag unix
 x86_64-linux-f7   :=tag unix
 i386-linux-f9     :=tag unix
 i386-linux-f12    :=tag unix
+x86_64-linux-f14  :=tag unix
 i386-linux-debian :=tag unix
 i386-linux-debian-testing  :=tag unix
 i386-linux-debian-unstable :=tag unix
@@ -707,6 +708,7 @@ platform
          x86_64-linux-f7   => "Linux x86_64, built on Fedora 7"
          i386-linux-f9     => "Linux i386, built on Fedora 9"
          i386-linux-f12    => "Linux i386, built on Fedora 12"
+         x86_64-linux-f14  => "Linux x86_64, built on Fedora 14"
          i386-linux-debian => "Linux i386, built on Debian Stable"
          i386-linux-debian-testing  => "Linux i386, built on Debian Testing"
          i386-linux-debian-unstable => "Linux i386, built on Debian Unstable"