home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: gnu.gcc.bug
- Path: 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
-
- 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.
-
-