diff options
author | jkim <jkim@FreeBSD.org> | 2017-07-29 05:45:20 +0800 |
---|---|---|
committer | jkim <jkim@FreeBSD.org> | 2017-07-29 05:45:20 +0800 |
commit | 37f42e3731b6421168cc6d1376fe8e064a767d16 (patch) | |
tree | a79f71211dc0ed6f08a805235e59f1fc3946e774 /games/heroes | |
parent | 184408c6f2a3d7e6645a3e28cf294fc9a0943e2e (diff) | |
download | freebsd-ports-gnome-37f42e3731b6421168cc6d1376fe8e064a767d16.tar.gz freebsd-ports-gnome-37f42e3731b6421168cc6d1376fe8e064a767d16.tar.zst freebsd-ports-gnome-37f42e3731b6421168cc6d1376fe8e064a767d16.zip |
Set MAKEINFO to the full path of makeinfo when USES=makeinfo is set.
PR: 221027
Reviewed by: mat
Approved by: portmgr (antoine)
Diffstat (limited to 'games/heroes')
-rw-r--r-- | games/heroes/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/games/heroes/Makefile b/games/heroes/Makefile index 2396e1b71224..aa073b796ce3 100644 --- a/games/heroes/Makefile +++ b/games/heroes/Makefile @@ -33,7 +33,7 @@ MUSICSRC= ${WRKDIR}/${MUSICDISTNAME} USE_SDL= mixer sdl USES= gettext gmake iconv makeinfo GNU_CONFIGURE= yes -CONFIGURE_ENV= MAKEINFO="makeinfo --no-split" +CONFIGURE_ENV= MAKEINFO="${MAKEINFO} --no-split" CONFIGURE_ARGS= --with-sdl_mixer=${LOCALBASE} --without-gii --without-ggi OPTIONS_DEFINE= OPTIMIZED_CFLAGS |