Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Also:
--move removing of include/config and include/generated to distclean
--trigger distclean in ppsi
--update ppsi
Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Use make cleanall to remove files from all compilations.
Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

remove on clean:
--config.o
--revision.o
--$(OUTPUT).vhd
--$(OUTPUT).mif
--$(OUTPUT)_disasm.S
--include/config
--include/generated
--tools/dump-info-host.bin

arch/lm32/ram.ld is not removed
Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Change variable name in scripts to avoid confusion with dot-config variables.
Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

To avoid triggering .config target at clean
Also in PPSI
Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Also, preserve and restore current configuration, so I don't get mad
when checking with MAKEALL during my tests for new feature.

The rationale for this is that wrpc-sw will soon select different ppsi
choices according to its own configuration, through $(PPSI-CFG-y).
Actually, it already does for the host process build.

MAKEALL must obey this choice, so we trim ppsi configuration
each time we reconfigure wrpc (removing the file would spit an
error instead).

Then, our Makefile forces a ppsi reconfig if ppsi/.config is missing
*or* empty.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

This allows stuff like

  ./MAKEALL spec_legacy_defconfig spec_sdb_defconfig

to choose your relevant configuration files alone.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>