1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-17 00:00:40 +00:00
freebsd-ports/print/tex/scripts
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