-
Alessandro Rubini authored
The configuration is not called *_defconfig, because we can't just build it in ./MAKEALL -- we need ppsi to be built with a different configuration, and this is not autodetected yet (but building from a fresh clone works). Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
c8675475