Jean-Marc Zucconi 6299d27cdb Patch the main makefile. Sometimes gmake exits(0) even if an inferior make ... failed. (looks like a bug in gmake) PR: ports/9690		1999-02-03 02:45:07 +00:00
..
configure	Patch the main makefile. Sometimes gmake exits(0) even if an inferior make	1999-02-03 02:45:07 +00:00