From 092fbf01f73f5f8a969b704b7aeed98ebabb2f22 Mon Sep 17 00:00:00 2001
From: David Schleef <ds@schleef.org>
Date: Thu, 6 Apr 2000 07:18:22 +0000
Subject: [PATCH] LINUXDIR fix

---
 Makefile | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/Makefile b/Makefile
index 2d68a65e..b64a2eee 100644
--- a/Makefile
+++ b/Makefile
@@ -7,18 +7,17 @@ VERS3 = 39
 
 INSTALLDIR=/usr
 
-#LINUXDIR = /usr/src/linux
-#LINUXDIR = /d/ds/cvs/rtl/linux22
-#LINUXDIR = /d/ds/cvs/linux22
-LINUXDIR = /home/ds/cvs/linux23
+ifndef LINUXDIR
+LINUXDIR = /usr/src/linux
+endif
 
 # define the following if you want to compile using RTL
 # headers that aren't in the default location
-RTLDIR = /d/ds/cvs/rtlinux
+#RTLDIR = /d/ds/cvs/rtlinux
 
 # define the following if you want to compile using RTAI
 # headers that aren't in the default location
-RTAIDIR = /home/ds/cvs/rtai
+#RTAIDIR = /home/ds/cvs/rtai
 
 TOPDIR := $(shell if [ "$$PWD" != "" ]; then echo $$PWD; else pwd; fi)
 
-- 
2.26.2