• 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
..
build-random Loading commit data...
lm32-etheruart Loading commit data...
sdbfs Loading commit data...
sdbfs-flash Loading commit data...
trivial-init Loading commit data...
.gitignore Loading commit data...
Makefile Loading commit data...
eb-w1-write.c Loading commit data...
eb-w1.c Loading commit data...
genraminit.c Loading commit data...
genrammif.c Loading commit data...
genramvhd.c Loading commit data...
git-compileall Loading commit data...
makebin.S Loading commit data...
mapper.c Loading commit data...
pfilter-builder.c Loading commit data...
sdbfs.README Loading commit data...
update_configs Loading commit data...
wr_graph.py Loading commit data...
wrpc-dump.c Loading commit data...
wrpc-w1-read.c Loading commit data...
wrpc-w1-write.c Loading commit data...