Announcing config file diffing tool.

[Sven Luther <sven.luther@wanadoo.fr>]

Hi all, ...

I just commited a new version of kconfig.ml to scripts/kconfig.ml, which adds
some nice diffing of config files functionality.

It allows you to do :

  kconfig.ml diff [ -ba <dir> | -b <dir> ] config config

  And config can be either :

    -c /path/to/config/file

    or -a arch [ -s subarch ] -f flavour

where -b <dir> is the debian/arch directory, which is needed in the second
config specification case.

Some examples of invocations :

  kconfig.ml diff -b ../linux-2.6/debian/arch -a powerpc -f powerpc -a powerpc -f powerpc64

will give the diff between the powerpc and powerpc64 flavour.

  kconfig.ml diff -b ../linux-2.6/debian/arch -a powerpc -f powerpc64 -c /path/to/kernel/src/arch/powerpc/configs/g5_defconfig

will give the diff between the reconstituted powerpc64 flavour, and the g5
defconfig.

Friendly,

Sven Luther