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>

Adam Wujek authored 8 years ago and Grzegorz Daniluk committed 8 years ago

Use make cleanall to remove files from all compilations.

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

Adam Wujek authored 8 years ago and Grzegorz Daniluk committed 8 years ago

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>

Adam Wujek authored 8 years ago and Grzegorz Daniluk committed 8 years ago

Change variable name in scripts to avoid confusion with dot-config variables.

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

Adam Wujek authored 8 years ago and Grzegorz Daniluk committed 8 years ago

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>

Alessandro Rubini authored 8 years ago and Adam Wujek committed 8 years ago

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>