From bd11df315c679f7d339d5f94a6076cb41b904a06 Mon Sep 17 00:00:00 2001 From: Bill Currie Date: Thu, 29 Aug 2002 19:58:04 +0000 Subject: [PATCH] forgot to mention gnu make --- files.php | 1 + 1 file changed, 1 insertion(+) diff --git a/files.php b/files.php index b0bb1eb..390dd05 100644 --- a/files.php +++ b/files.php @@ -50,6 +50,7 @@ Please check the docs.
  • GNU libtool 1.4 or later
  • GNU bison
  • GNU flex +
  • GNU make (BSD make doesn't like some constructs used) The following are recommended: