Correct usage of OPTION_DEFAULT_ON, OPTION_DEFAULT_OFF so that the
authorGlenn Morris <rgm@gnu.org>
Fri, 25 Jan 2008 04:32:52 +0000 (04:32 +0000)
committerGlenn Morris <rgm@gnu.org>
Fri, 25 Jan 2008 04:32:52 +0000 (04:32 +0000)
commit5b940d5a6974b2ec2a0090f8a77958c6d97b2df0
tree19d4525337880087abbdd2e1feacdf98b833115e
parente0df1b73db61b652198ab72a7ab0d9791f29a0a8
Correct usage of OPTION_DEFAULT_ON, OPTION_DEFAULT_OFF so that the
defaults are as they used to be.
Default `Carbon' to off (it's unsupported).
ChangeLog
configure.in