From 72480a5539d3d6f4e4f5eae58f276ea04ecca4bb Mon Sep 17 00:00:00 2001 From: marcel Date: Wed, 21 Jul 1999 11:23:16 +0000 Subject: Activate linux_devtools Deactivate linux-devel --- devel/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/devel/Makefile b/devel/Makefile index 9d88134ae2d0..24b73d74b2d8 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.202 1999/07/17 17:24:49 cpiazza Exp $ +# $Id: Makefile,v 1.203 1999/07/18 21:02:31 cpiazza Exp $ # SUBDIR += ElectricFence @@ -76,8 +76,8 @@ SUBDIR += libslang SUBDIR += libtool SUBDIR += libxalloc - SUBDIR += linux-devel SUBDIR += linux_devel + SUBDIR += linux_devtools SUBDIR += linux_kdump SUBDIR += m4 SUBDIR += m68kbinutils -- cgit