Date: Tue, 24 Aug 1999 08:31:14 +0300 (IDT)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
X-Sender: eliz AT is
To: djgpp-workers AT delorie DOT com
cc: Robert Hoehne <robert DOT hoehne AT gmx DOT net>
Subject: RHIDE section in DJGPP.ENV
Message-ID: <Pine.SUN.3.91.990824082953.12112F-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Reply-To: djgpp-workers AT delorie DOT com


Is the following a good idea (for v2.03)?  Are there any other 
RHIDE-related variables that we should put into this section?

*** djgpp.en~	Mon Jul  5 10:26:00 1999
--- djgpp.env	Mon Aug 23 12:21:18 1999
***************
*** 112,114 ****
--- 112,118 ----
  MANPATH=%/>MANPATH%;%DJDIR%/man;%DJDIR%/info
  PAGER=%DJDIR%/bin/less.exe
  
+ [rhide]
+ RHIDE_TYPED_LIBS_DJGPP.cc=stdcxx
+ RHIDE_TYPED_LIBS_DJGPP.cxx=stdcxx
+ RHIDE_TYPED_LIBS_DJGPP.cpp=stdcxx