From 0f69878a9c1a0e6b0201b0875bc57706705012ca Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Sun, 28 Aug 2011 16:42:55 -0500
Subject: [PATCH] Make readline/readline-listener unix only

---
 extra/readline-listener/platforms.txt | 1 +
 extra/readline/platforms.txt          | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 extra/readline-listener/platforms.txt
 create mode 100644 extra/readline/platforms.txt

diff --git a/extra/readline-listener/platforms.txt b/extra/readline-listener/platforms.txt
new file mode 100644
index 0000000000..47e0a6946a
--- /dev/null
+++ b/extra/readline-listener/platforms.txt
@@ -0,0 +1 @@
+unix
\ No newline at end of file
diff --git a/extra/readline/platforms.txt b/extra/readline/platforms.txt
new file mode 100644
index 0000000000..47e0a6946a
--- /dev/null
+++ b/extra/readline/platforms.txt
@@ -0,0 +1 @@
+unix
\ No newline at end of file