From: Christoph Egger <siccegge@cs.fau.de>
To: Richard Henderson <rth@twiddle.net>,
Ivan Kokshaysky <ink@jurassic.park.msu.ru>,
Matt Turner <mattst88@gmail.com>,
Andrew Morton <akpm@linux-foundation.org>,
FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp>,
Mike Frysinger <vapier@gentoo.org>,
Graf Yang <graf.yang@analog.com>,
Mikael Starvik <starvik@axis.com>,
Jesper Nilsson <jesper.nilsson@axis.com>,
Tony Luck <tony.luck@intel.com>,
Fenghua Yu <fenghua.yu@intel.com>,
Benjamin Herrenschmidt <benh@kernel.crashing.org>,
Paul Mackerras <paulus@samba.org>,
Chen Liqin <liqin.chen@sunplusct.com>,
Lennox Wu <lennox.wu@gmail.com>, Arnd Bergmann <arnd@arndb.de>,
Thomas Gleixner <tglx@linutronix.de>,
Ingo Molnar <mingo@redhat.com>, "H. Peter Anvin" <hpa@zytor.com>,
x86@kernel.org, Arjan van de Ven <arjan@linux.intel.com>,
Karsten Keil <isdn@linux-pingi.de>,
Jesse Barnes <jbarnes@virtuousgeek.org>,
"David S. Miller" <davem@davemloft.net>,
Alexey Kuznetsov <kuznet@ms2.inr.ac.ru>,
"Pekka Savola (ipv6)" <pekkas@netcore.fi>,
James Morris <jmorris@namei.org>,
Hideaki YOSHIFUJI <yoshfuji@linux-ipv6.org>,
Patrick McHardy <kaber@trash.net>, Timo Teras <timo.teras@iki.fi>,
linux-alpha@vger.kernel.org, linux-kernel@vger.kernel.org,
uclinux-dist-devel@blackfin.uclinux.org,
linux-cris-kernel@axis.com, linux-ia64@vger.kernel.org,
linuxppc-dev@ozlabs.org, netdev@vger.kernel.org
Cc: vamos@i4.informatik.uni-erlangen.de
Subject: Config Items appearing twice in same Kconfig file?
Date: Wed, 12 May 2010 16:34:45 +0200 [thread overview]
Message-ID: <20100512143445.GA32559@faui48a.informatik.uni-erlangen.de> (raw)
Hi all!
First of all sorry for the huge CC, I couldn't come up with a way
to create a smaller list while reaching all the relevant people.
We, the vamos project[1] at the Friedrich Alexander University are
analything the linux configuration model trying to detect
errors. During a run with our tools we noticed the fact that the
option ALPHA_LEGACY_START_ADDRESS in arch/alpha/Kconfig.debug is
listed twice with contradictory dependencies on ALPHA_GENERIC.
Taking a closer look[2] we noticed 22 occurences where the same
config option is defined more than once in the same Kconfig file, not
all of them are, of course, contradictory as the ALPHA sample.
We"d be interested in reasons to keep this configuration split up
in the same file or if this is just a error introduced someeewhere in
linux' development that should be fixed.
Regards
Chritoph Egger
[ Please keep vamos@ Cc-ed -- we're not following all the lkml traffic
;) no need to keep me though ]
[1] http://vamos1.informatik.uni-erlangen.de
[2] grep ^config **/Kconfig* | sort | uniq -d -c
next reply other threads:[~2010-05-12 14:43 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-05-12 14:34 Christoph Egger [this message]
2010-05-12 14:40 ` Config Items appearing twice in same Kconfig file? Christoph Egger
2010-05-13 1:08 ` Michael Ellerman
2010-05-17 5:13 ` [Uclinux-dist-devel] " Mike Frysinger
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20100512143445.GA32559@faui48a.informatik.uni-erlangen.de \
--to=siccegge@cs.fau.de \
--cc=akpm@linux-foundation.org \
--cc=arjan@linux.intel.com \
--cc=arnd@arndb.de \
--cc=benh@kernel.crashing.org \
--cc=davem@davemloft.net \
--cc=fenghua.yu@intel.com \
--cc=fujita.tomonori@lab.ntt.co.jp \
--cc=graf.yang@analog.com \
--cc=hpa@zytor.com \
--cc=ink@jurassic.park.msu.ru \
--cc=isdn@linux-pingi.de \
--cc=jbarnes@virtuousgeek.org \
--cc=jesper.nilsson@axis.com \
--cc=jmorris@namei.org \
--cc=kaber@trash.net \
--cc=kuznet@ms2.inr.ac.ru \
--cc=lennox.wu@gmail.com \
--cc=linux-alpha@vger.kernel.org \
--cc=linux-cris-kernel@axis.com \
--cc=linux-ia64@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linuxppc-dev@ozlabs.org \
--cc=liqin.chen@sunplusct.com \
--cc=mattst88@gmail.com \
--cc=mingo@redhat.com \
--cc=netdev@vger.kernel.org \
--cc=paulus@samba.org \
--cc=pekkas@netcore.fi \
--cc=rth@twiddle.net \
--cc=starvik@axis.com \
--cc=tglx@linutronix.de \
--cc=timo.teras@iki.fi \
--cc=tony.luck@intel.com \
--cc=uclinux-dist-devel@blackfin.uclinux.org \
--cc=vamos@i4.informatik.uni-erlangen.de \
--cc=vapier@gentoo.org \
--cc=x86@kernel.org \
--cc=yoshfuji@linux-ipv6.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).