diff options
| author | wiz <wiz> | 2004-12-03 15:14:50 +0000 |
|---|---|---|
| committer | wiz <wiz> | 2004-12-03 15:14:50 +0000 |
| commit | 998b0c7156c398a485c9894ae57403d161b66dca (patch) | |
| tree | 8f483a3c4a5e5f1691642df617cb7138d1cf8187 /lang/coq | |
| parent | 589cabc7dea50acb511116250b8e586dcd851c0f (diff) | |
| download | pkgsrc-998b0c7156c398a485c9894ae57403d161b66dca.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" |