GNU make maybe isn't needed

svn: r3503
This commit is contained in:
Matthew Flatt 2006-06-27 16:33:20 +00:00
parent fe24b02046
commit d35b46f901

View File

@ -77,8 +77,9 @@ the Unix instructions below, but note the following:
(though generally not under Linux). See the note at the end of (though generally not under Linux). See the note at the end of
this section if OpenGL fails to work. this section if OpenGL fails to work.
Finally, make sure that you are using GNU `make'. Specifically, Finally, for some platforms, the content of the "foreign"
the content of the "foreign" subdirectory requires GNU `make'. 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 1. Run the script `configure' (which is in the same directory as this
README), usually with a --prefix=TARGETDIR command-line argument README), usually with a --prefix=TARGETDIR command-line argument