• Alessandro Rubini's avatar
    tools/build-random: the scripts I used for randconfig · 8bc4e64e
    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's avatarAlessandro Rubini <rubini@gnudd.com>
    8bc4e64e
Name
Last commit
Last update
arch/lm32 Loading commit data...
configs Loading commit data...
dev Loading commit data...
doc Loading commit data...
host Loading commit data...
include Loading commit data...
ipc Loading commit data...
lib Loading commit data...
monitor Loading commit data...
pp_printf Loading commit data...
ppsi @ 31c0e23b
scripts Loading commit data...
sdb-lib Loading commit data...
shell Loading commit data...
softpll Loading commit data...
test/snmp Loading commit data...
tools Loading commit data...
.gitignore Loading commit data...
.gitmodules Loading commit data...
COPYING Loading commit data...
Kconfig Loading commit data...
MAKEALL Loading commit data...
Makefile Loading commit data...
Makefile.kconfig Loading commit data...
bigobj.lds Loading commit data...
check-error.c Loading commit data...
compare_size.sh Loading commit data...
dump-info.c Loading commit data...
revision.c Loading commit data...
save_size.sh Loading commit data...
system_checks.c Loading commit data...
wrc_main.c Loading commit data...
wrc_main_sim.c Loading commit data...
wrs_main.c Loading commit data...