diff options
| author | Marcel Moolenaar <marcel@FreeBSD.org> | 1999-08-11 18:46:08 +0000 |
|---|---|---|
| committer | Marcel Moolenaar <marcel@FreeBSD.org> | 1999-08-11 18:46:08 +0000 |
| commit | fa4f72cd43e7ad1ea592e1711d3ee6d19989d9cd (patch) | |
| tree | 12412aebfc0069a001e08aa5362fe426cb8439bd | |
| parent | 023a82287ccf56b2966b81f77f34418c7fad7457 (diff) | |
Create link for OSVERSION 320001 too, because the necessary kernel change
happened after the version bump to 320001. This makes the port work for
any -stable system.
| -rw-r--r-- | devel/linux_devtools-6/Makefile | 4 | ||||
| -rw-r--r-- | devel/linux_devtools-7/Makefile | 4 | ||||
| -rw-r--r-- | devel/linux_devtools/Makefile | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/devel/linux_devtools-6/Makefile b/devel/linux_devtools-6/Makefile index f38253d85644..9e444d1bd6bb 100644 --- a/devel/linux_devtools-6/Makefile +++ b/devel/linux_devtools-6/Makefile @@ -3,7 +3,7 @@ # Date created: Jul 9, 1999 # Whom: marcel@FreeBSD.org # -# $Id$ +# $Id: Makefile,v 1.10 1999/07/21 11:16:09 marcel Exp $ # DISTNAME= linux_devtools @@ -59,7 +59,7 @@ RPMDIR= ${DISTDIR}/${DIST_SUBDIR} REMOVE_DIRS= /dev /tmp /var/tmp REMOVE_FILES= /usr/X11R6/include/X11/X11 -.if ${OSVERSION} < 320001 +.if ${OSVERSION} <= 320001 # # Hack to let the rpm installer run. The actual kernel change occurred after # 400008 on 4.0-current and well after 320001, but we'll assume people running diff --git a/devel/linux_devtools-7/Makefile b/devel/linux_devtools-7/Makefile index f38253d85644..9e444d1bd6bb 100644 --- a/devel/linux_devtools-7/Makefile +++ b/devel/linux_devtools-7/Makefile @@ -3,7 +3,7 @@ # Date created: Jul 9, 1999 # Whom: marcel@FreeBSD.org # -# $Id$ +# $Id: Makefile,v 1.10 1999/07/21 11:16:09 marcel Exp $ # DISTNAME= linux_devtools @@ -59,7 +59,7 @@ RPMDIR= ${DISTDIR}/${DIST_SUBDIR} REMOVE_DIRS= /dev /tmp /var/tmp REMOVE_FILES= /usr/X11R6/include/X11/X11 -.if ${OSVERSION} < 320001 +.if ${OSVERSION} <= 320001 # # Hack to let the rpm installer run. The actual kernel change occurred after # 400008 on 4.0-current and well after 320001, but we'll assume people running diff --git a/devel/linux_devtools/Makefile b/devel/linux_devtools/Makefile index f38253d85644..9e444d1bd6bb 100644 --- a/devel/linux_devtools/Makefile +++ b/devel/linux_devtools/Makefile @@ -3,7 +3,7 @@ # Date created: Jul 9, 1999 # Whom: marcel@FreeBSD.org # -# $Id$ +# $Id: Makefile,v 1.10 1999/07/21 11:16:09 marcel Exp $ # DISTNAME= linux_devtools @@ -59,7 +59,7 @@ RPMDIR= ${DISTDIR}/${DIST_SUBDIR} REMOVE_DIRS= /dev /tmp /var/tmp REMOVE_FILES= /usr/X11R6/include/X11/X11 -.if ${OSVERSION} < 320001 +.if ${OSVERSION} <= 320001 # # Hack to let the rpm installer run. The actual kernel change occurred after # 400008 on 4.0-current and well after 320001, but we'll assume people running |