-
Alessandro Rubini authored
This includes ppsi-v2014.07. The new ppsi master is Kconfig-based, so our makefile must make "wrpc_defconfig" in ppsi before building it. Additionally, the link steps changed to the better in there, so we don't link the "strange" $(PPSI)/proto-standard/libstd.a any more. We may consider whether a local .config for ppsi should be provided by this package instead of relying on its own choices; not a big deal, though, as we maintain them at the same time. Please note that any existent ppsi/.config is preserved, to allow local tests. This should not have any impact on normal users. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
d447f096