diff options
| author | jmz <jmz@FreeBSD.org> | 1999-02-03 10:45:07 +0800 |
|---|---|---|
| committer | jmz <jmz@FreeBSD.org> | 1999-02-03 10:45:07 +0800 |
| commit | 35936b1202fbf11a971d69b1b2f410973557778e (patch) | |
| tree | f4d2434b84f475878e1f5502a83bcefb03e8a724 /print/tex | |
| parent | b165470e5b6a355168843dddda78ba33d5a54bd9 (diff) | |
| download | freebsd-ports-gnome-35936b1202fbf11a971d69b1b2f410973557778e.tar.gz freebsd-ports-gnome-35936b1202fbf11a971d69b1b2f410973557778e.tar.zst freebsd-ports-gnome-35936b1202fbf11a971d69b1b2f410973557778e.zip | |
Patch the main makefile. Sometimes gmake exits(0) even if an inferior make
failed. (looks like a bug in gmake)
PR: ports/9690
Diffstat (limited to 'print/tex')
| -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 |