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 01c3394d923..5d2255e4b42 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.7 2004/01/20 12:19:18 agc Exp $ +# $NetBSD: Makefile,v 1.8 2004/12/03 15:15:01 wiz Exp $ # DISTNAME= twelf-1-4 @@ -22,7 +22,7 @@ NO_BIN_ON_CDROM= ${RESTRICTED} WRKSRC= ${WRKDIR}/twelf MAKEFILE= smlnj/Makefile MAKEFLAGS+= sml=${PREFIX:Q}/bin/sml -ALL_TARGET= twelf-server twelf-sml +BUILD_TARGET= twelf-server twelf-sml INFO_FILES= twelf.info |