From 6914a11dfb6335df26bd6e8ec134cb1a01fbf3ef Mon Sep 17 00:00:00 2001 From: David Schleef Date: Wed, 3 Apr 2002 07:25:21 +0000 Subject: [PATCH] Pointless, misleading drivel --- patches/patch-rtai | 47 ---------------------------------------------- 1 file changed, 47 deletions(-) delete mode 100644 patches/patch-rtai diff --git a/patches/patch-rtai b/patches/patch-rtai deleted file mode 100644 index 762a4ec0..00000000 --- a/patches/patch-rtai +++ /dev/null @@ -1,47 +0,0 @@ -Index: Makefile.modbuild -=================================================================== -RCS file: /var/cvs/comedi/Makefile.modbuild,v -retrieving revision 1.13 -diff -u -r1.13 Makefile.modbuild ---- Makefile.modbuild 2001/03/01 05:03:23 1.13 -+++ Makefile.modbuild 2001/04/03 23:48:29 -@@ -57,6 +57,7 @@ - ifdef RTAIDIR - CFLAGS += -I $(TOPDIR)/include/rtai - endif -+CFLAGS += -I /usr/realtime/include - - CONFIG_SHELL := sh - -Index: scripts/dep.rtai -=================================================================== -RCS file: /var/cvs/comedi/scripts/dep.rtai,v -retrieving revision 1.3 -diff -u -r1.3 dep.rtai ---- scripts/dep.rtai 2001/01/09 19:18:10 1.3 -+++ scripts/dep.rtai 2001/04/03 23:48:30 -@@ -5,11 +5,19 @@ - - if [ "$RTAIDIR" = "" ] - then -- echo -n "Enter location of RTAI source tree [/usr/src/rtai]: " -- read RTAIDIR -- : ${RTAIDIR:=/usr/src/rtai} -+ if [ -d /usr/realtime/include/rtai ];then -+ echo "You seem to have RTAI headers installed. We'll use those..." -+ else -+ echo -n "Enter location of RTAI source tree [/usr/src/rtai]: " -+ read RTAIDIR -+ : ${RTAIDIR:=/usr/src/rtai} -+ fi - fi -- echo RTAIDIR=$RTAIDIR >>.sourcedirs -- (cd include;rm -f rtai;ln -s $RTAIDIR/include rtai) -+ if [ "$RTAIDIR" = "" ];then -+ (cd include;rm -f rtai;ln -s /usr/realtime/include/rtai rtai) -+ else -+ echo RTAIDIR=$RTAIDIR >>.sourcedirs -+ (cd include;rm -f rtai;ln -s $RTAIDIR/include rtai) -+ fi - fi - -- 2.26.2