-
Alessandro Rubini authored
It's not very cleaned-up, but may be useful for other developers. * tools/build-random/manybuilds It builds with randomconfig. It remove ppsi configuration so the wrpc-sw makefile uses a proper one, even if PPSI_FORCE_CONFIG is false. It leave around some files: configs and build logs for warning/error builds, and only the config for good ones. You'll find them by "git status". It also avoids re-building and already known good configuration. * tools/build-random/unique-error This filters error builds to only report one per type. * tools/build-random/unique-warning Same for warning-only failures Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
8bc4e64e
Name |
Last commit
|
Last update |
---|---|---|
arch/lm32 | ||
configs | ||
dev | ||
doc | ||
host | ||
include | ||
ipc | ||
lib | ||
monitor | ||
pp_printf | ||
ppsi @ 31c0e23b | ||
scripts | ||
sdb-lib | ||
shell | ||
softpll | ||
test/snmp | ||
tools | ||
.gitignore | ||
.gitmodules | ||
COPYING | ||
Kconfig | ||
MAKEALL | ||
Makefile | ||
Makefile.kconfig | ||
bigobj.lds | ||
check-error.c | ||
compare_size.sh | ||
dump-info.c | ||
revision.c | ||
save_size.sh | ||
system_checks.c | ||
wrc_main.c | ||
wrc_main_sim.c | ||
wrs_main.c |