-exec-prefix vs. -exec_prefix

Article View: gnu.gcc.bug

Article #1512

#1512

From: karl
Date: Thu, 31 Dec 1992 17:14

5 lines
666 bytes

gcc 2.3.3's configure script accepts an option `-exec-prefix' to set
exec_prefix in the Makefile; Autoconf-generated scripts accept
`-exec_prefix'.  It would be nice if everybody agreed.  Personally, I'd
vote for -exec-prefix, since we seem to use -'s in preference to _'s
wherever possible.

Technical Details

Message-ID: <9212311714.AA14599@owl.HQ.Ileaf.COM>

Path: arc1-ca.pugleaf.net!sparky!uunet!cis.ohio-state.edu!owl.HQ.ILeaf.COM!karl

Show Full Headers

Complete Article Headers

Newsgroups: gnu.gcc.bug
Path: arc1-ca.pugleaf.net!sparky!uunet!cis.ohio-state.edu!owl.HQ.ILeaf.COM!karl
From: karl@owl.HQ.ILeaf.COM
Subject: -exec-prefix vs. -exec_prefix
Message-ID: <9212311714.AA14599@owl.HQ.Ileaf.COM>
Sender: gnulists@ai.mit.edu
Organization: GNUs Not Usenet
Distribution: gnu
Date: Thu, 31 Dec 1992 17:14:02 GMT
Approved: bug-gcc@prep.ai.mit.edu
Lines: 6