diff options
| author | Jung-uk Kim <jkim@FreeBSD.org> | 2017-07-28 21:45:20 +0000 |
|---|---|---|
| committer | Jung-uk Kim <jkim@FreeBSD.org> | 2017-07-28 21:45:20 +0000 |
| commit | f872930d0e52c8802d4085a53fd91d3af6e0ddad (patch) | |
| tree | a79f71211dc0ed6f08a805235e59f1fc3946e774 /games/heroes | |
| parent | 0f17cf99be7bb6defa0b0a6f7788fad50febe6fb (diff) | |
| download | ports-f872930d0e52c8802d4085a53fd91d3af6e0ddad.tar.gz ports-f872930d0e52c8802d4085a53fd91d3af6e0ddad.zip | |
Set MAKEINFO to the full path of makeinfo when USES=makeinfo is set.
PR: 221027
Reviewed by: mat
Approved by: portmgr (antoine)
Notes
Notes:
svn path=/head/; revision=446854
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 |