Re: Way to switch easily (Was: Re: Egcs, gcc, and Debian)
My two Pfennige here: /usr/bin/gcc should *always* be GCC.
/usr/bin/egcc should *always* be EGCC. /usr/bin/cc can be either GCC
or EGCC, acording to the sysadmin wishes.
If this can't be achived with update-alternatives, the solution with
environment vars seems ok to me.
/opt is a poor "solution". It's a lazy hack and it's not compatible
with the (high) Debian quality-standards.
JMHO.
--
Emilio C. Lopes <mailto:Emilio.Lopes@Physik.TU-Muenchen.DE>
--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-devel-request@lists.debian.org .
Trouble? e-mail to templin@bucknell.edu .
Reply to: