* [PATCH 0044/1529] Fix typo
@ 2016-05-21 11:41 Andrea Gelmini
0 siblings, 0 replies; only message in thread
From: Andrea Gelmini @ 2016-05-21 11:41 UTC (permalink / raw)
To: andrea.gelmini
Cc: trivial, yann.morin.1998, mmarek, corbet, linux-kbuild, linux-doc
Signed-off-by: Andrea Gelmini <andrea.gelmini@gelma.net>
---
Documentation/kbuild/kconfig-language.txt | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Documentation/kbuild/kconfig-language.txt b/Documentation/kbuild/kconfig-language.txt
index c52856d..14783c7 100644
--- a/Documentation/kbuild/kconfig-language.txt
+++ b/Documentation/kbuild/kconfig-language.txt
@@ -511,7 +511,7 @@ the use of the xconfig configurator [1]. Work should be done to confirm if
the deduced semantics matches our intended Kconfig design goals.
Having well defined semantics can be useful for tools for practical
-evaluation of depenencies, for instance one such use known case was work to
+evaluation of dependencies, for instance one such use known case was work to
express in boolean abstraction of the inferred semantics of Kconfig to
translate Kconfig logic into boolean formulas and run a SAT solver on this to
find dead code / features (always inactive), 114 dead features were found in
--
2.8.2.534.g1f66975
^ permalink raw reply related [flat|nested] only message in thread
only message in thread, other threads:[~2016-05-21 11:41 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-05-21 11:41 [PATCH 0044/1529] Fix typo Andrea Gelmini
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.