From 237337904e1c277763060281828d77ca46dfcd04 Mon Sep 17 00:00:00 2001 From: "W. Eric Norum" Date: Sat, 12 Feb 2005 17:25:44 +0000 Subject: [PATCH] RTEMS has again moved. --- configure/os/CONFIG.Common.RTEMS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure/os/CONFIG.Common.RTEMS b/configure/os/CONFIG.Common.RTEMS index e5ae6e9aa..d24b52d48 100644 --- a/configure/os/CONFIG.Common.RTEMS +++ b/configure/os/CONFIG.Common.RTEMS @@ -15,7 +15,7 @@ #------------------------------------------------------- # Where to find RTEMS -RTEMS_BASE=/opt/rtems/rtems-4.7 +RTEMS_BASE=/usr/local/rtems/rtems-4.7 RTEMS_VERSION=4.7 #-------------------------------------------------------