diff options
author | marcel <marcel@FreeBSD.org> | 1999-08-12 02:46:08 +0800 |
---|---|---|
committer | marcel <marcel@FreeBSD.org> | 1999-08-12 02:46:08 +0800 |
commit | 914f70bd39b46d6f19e3d160b356dc2b0e23d2e2 (patch) | |
tree | 1d491feb2f2acf44ab72cd24b9770d09598904f5 /devel/linux_devtools-6 | |
parent | 39b2ec27c5951353f810c23e5a25db6b5469a0d6 (diff) | |
download | freebsd-ports-gnome-914f70bd39b46d6f19e3d160b356dc2b0e23d2e2.tar.gz freebsd-ports-gnome-914f70bd39b46d6f19e3d160b356dc2b0e23d2e2.tar.zst freebsd-ports-gnome-914f70bd39b46d6f19e3d160b356dc2b0e23d2e2.zip |
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.
Diffstat (limited to 'devel/linux_devtools-6')
-rw-r--r-- | devel/linux_devtools-6/Makefile | 4 |
1 files changed, 2 insertions, 2 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 |