LINUXDIR fix r0_7_42
authorDavid Schleef <ds@schleef.org>
Thu, 6 Apr 2000 07:18:22 +0000 (07:18 +0000)
committerDavid Schleef <ds@schleef.org>
Thu, 6 Apr 2000 07:18:22 +0000 (07:18 +0000)
Makefile

index 2d68a65e6974b1a7a630a2381b7010f9e9f9f9c0..b64a2eeef1086a724af33716eb73a77e14cf35d9 100644 (file)
--- 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)