summaryrefslogtreecommitdiff
path: root/devel/linux_devtools
diff options
context:
space:
mode:
authorSatoshi Asami <asami@FreeBSD.org>1998-12-01 09:16:45 +0000
committerSatoshi Asami <asami@FreeBSD.org>1998-12-01 09:16:45 +0000
commit0f17471f20410ad9817dedb7932ed9c55518f0c0 (patch)
tree8faad136b7a503bea01afeca579babc93eac8572 /devel/linux_devtools
parentUpgrade to 1.1.19, don't split info page. (diff)
NO_WRKDIR is evil.
Notes
Notes: svn path=/head/; revision=14992
Diffstat (limited to 'devel/linux_devtools')
-rw-r--r--devel/linux_devtools/Makefile5
1 files changed, 2 insertions, 3 deletions
diff --git a/devel/linux_devtools/Makefile b/devel/linux_devtools/Makefile
index 462b37599875..6e12f15dc426 100644
--- a/devel/linux_devtools/Makefile
+++ b/devel/linux_devtools/Makefile
@@ -3,7 +3,7 @@
# Date created: Nov 26 1996
# Whom: erich@FreeBSD.org
#
-# $Id: Makefile,v 1.6 1998/10/12 18:53:09 jseger Exp $
+# $Id: Makefile,v 1.7 1998/10/13 02:20:19 jseger Exp $
#
DISTNAME= linux_devel-0.2
@@ -19,8 +19,7 @@ NO_FILTER_SHLIBS= yes
PREFIX= /compat/linux
NO_MTREE= yes
NO_BUILD= yes
-NO_EXTRACT= yes
-NO_WRKDIR= yes
+EXTRACT_ONLY= # empty
MANPREFIX= ${PREFIX}/usr
MANCOMPRESSED= yes