| commit | b752715893ff78c2191e24e842fce677841cfebb | [log] [download] |
|---|---|---|
| author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Wed Jun 03 09:59:06 2015 +0100 |
| committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Wed Jun 03 10:00:02 2015 +0100 |
| tree | a32fb5d99de98bc988b01c0ec99f7f6eb821a0c1 | |
| parent | f2ec505c34c53a1c26b06bfd0bd405c5865a61e9 [diff] |
Expand config.pl's notion of "full" Make sure bugs in PLATFORM_xxx_ALT are catched