Bernhard Reutner-Fischer
|
55234edb23
randconfig.sh: set number of make jobs
|
před 15 roky |
Bernhard Reutner-Fischer
|
78b781b933
- expand documentation
|
před 16 roky |
Bernhard Reutner-Fischer
|
85163e7990
- add script to generate lots of failing (random)configs
|
před 16 roky |