From d35b46f9010465fb4a7fde5d4ff88f16761162da Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Tue, 27 Jun 2006 16:33:20 +0000
Subject: [PATCH] GNU make maybe isn't needed

svn: r3503
---
 src/README | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/README b/src/README
index c43daa9a82..1f41ea5b0c 100644
--- a/src/README
+++ b/src/README
@@ -77,8 +77,9 @@ the Unix instructions below, but note the following:
     (though generally not under Linux). See the note at the end of
     this section if OpenGL fails to work.
 
-    Finally, make sure that you are using GNU `make'. Specifically,
-    the content of the "foreign" subdirectory requires GNU `make'.
+    Finally, for some platforms, the content of the "foreign"
+    subdirectory make require GNU `make'. If the build fails with
+    another variant of `make', please try using GNU `make'.
 
  1. Run the script `configure' (which is in the same directory as this
     README), usually with a --prefix=TARGETDIR command-line argument