diff options
| author | Jean-Marc Zucconi <jmz@FreeBSD.org> | 1999-02-03 10:45:07 +0800 |
|---|---|---|
| committer | Jean-Marc Zucconi <jmz@FreeBSD.org> | 1999-02-03 10:45:07 +0800 |
| commit | 6299d27cdb6763913d7fad9055eb3f6b8ad34696 (patch) | |
| tree | 02573dffaf87178b6b8a499ccb888bc4817a14bf | |
| parent | f46430efb4c6f655d8eef8a78e5ad03c800cd8a4 (diff) | |
| download | freebsd-ports-gnome-6299d27cdb6763913d7fad9055eb3f6b8ad34696.tar.gz freebsd-ports-gnome-6299d27cdb6763913d7fad9055eb3f6b8ad34696.tar.zst freebsd-ports-gnome-6299d27cdb6763913d7fad9055eb3f6b8ad34696.zip | |
Patch the main makefile. Sometimes gmake exits(0) even if an inferior make
failed. (looks like a bug in gmake)
PR: ports/9690
| -rw-r--r-- | print/tex/scripts/configure | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/print/tex/scripts/configure b/print/tex/scripts/configure index 68fb09a10b98..de2f9d34baae 100644 --- a/print/tex/scripts/configure +++ b/print/tex/scripts/configure @@ -5,7 +5,10 @@ cd $WRKDIR || exit 1 find . -name \*.gz |xargs gunzip -f cd $WRKSRC || exit 1; - +cat >> Makefile <<'EOF' +default all: do-kpathsea + cd web2c && $(MAKE) $(makeargs) $@ +EOF ./configure --prefix=$PREFIX cd web2c |