mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-23 00:43:28 +00:00
Code Issues Releases Activity

Patch the main makefile. Sometimes gmake exits(0) even if an inferior make

Browse Source 
failed. (looks like a bug in gmake)
PR:		ports/9690
This commit is contained in:
Jean-Marc Zucconi 1999-02-03 02:45:07 +00:00
parent f46430efb4
commit 6299d27cdb
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=16508
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
print/tex/scripts/configure vendored
View File

@ -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