(--with-gcc): Give an error saying this option has been removed.
authorGlenn Morris <rgm@gnu.org>
Wed, 6 Feb 2008 07:57:33 +0000 (07:57 +0000)
committerGlenn Morris <rgm@gnu.org>
Wed, 6 Feb 2008 07:57:33 +0000 (07:57 +0000)
commit86dc59b0f79fcb6ddf8a8623bc3733f81a7cd127
treee80af6d8c2af92a8a8bf110725884ab870c51eaf
parent02f35af2461cbdf5666f3a4fce4e73a891540cb2
(--with-gcc): Give an error saying this option has been removed.
(--with-gtk): Remove this option.
ChangeLog
configure.in