diff options
| author | wiz <wiz> | 2004-12-03 15:14:50 +0000 |
|---|---|---|
| committer | wiz <wiz> | 2004-12-03 15:14:50 +0000 |
| commit | d6d63b8488b4bf8c0a90ce1519020f226b0e13bb (patch) | |
| tree | 8f483a3c4a5e5f1691642df617cb7138d1cf8187 /lang/coq | |
| parent | d7c71d7f553fdd9fc3036c9e1afddc1698cffbfb (diff) | |
| download | pkgsrc-d6d63b8488b4bf8c0a90ce1519020f226b0e13bb.tar.gz | |
Rename ALL_TARGET to BUILD_TARGET for consistency with other *_TARGETs.
Suggested by Roland Illig, ok'd by various.
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index aaff7331cc8..86cac3e6de2 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.5 2004/10/03 00:15:00 tv Exp $ +# $NetBSD: Makefile,v 1.6 2004/12/03 15:15:00 wiz Exp $ # DISTNAME= coq-7.4 @@ -16,7 +16,7 @@ HAS_CONFIGURE= YES CONFIGURE_ARGS+= -prefix ${PREFIX} CONFIGURE_ARGS+= -emacslib ${PREFIX}/share/emacs/site-lisp CONFIGURE_ARGS+= -reals all -ALL_TARGET= world +BUILD_TARGET= world .include "../../mk/bsd.prefs.mk" |