From: Ben Pfaff <blp@gnu.org>
Date: Mon, 12 Oct 2009 04:03:50 +0000 (-0700)
Subject: Revert "INSTALL: Mention that GNU make is required."
X-Git-Tag: lenny-x64-build41~2
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6cea5154ec624e65bbfce71036e31ab491ebc64a;hp=6cea5154ec624e65bbfce71036e31ab491ebc64a;p=pspp-builds.git

Revert "INSTALL: Mention that GNU make is required."

BSD make is now supported.
---