diff options
Diffstat (limited to 'lang/twelf/Makefile')
| -rw-r--r-- | lang/twelf/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index c3eee960d3e..aea29b344ed 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.14 2006/05/02 12:23:27 gdt Exp $ +# $NetBSD: Makefile,v 1.15 2006/09/09 02:43:09 obache Exp $ # DISTNAME= twelf-1-4 @@ -21,7 +21,7 @@ NO_BIN_ON_FTP= ${RESTRICTED} NO_BIN_ON_CDROM= ${RESTRICTED} WRKSRC= ${WRKDIR}/twelf -MAKEFILE= smlnj/Makefile +MAKE_FILE= smlnj/Makefile MAKEFLAGS+= sml=${PREFIX:Q}/bin/sml BUILD_TARGET= twelf-server twelf-sml |