diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-07-17 11:25:57 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-07-17 11:28:07 +0200 |
| commit | b07e46c59f5f326ffa18c2e43ae8c64961e033ac (patch) | |
| tree | d74801a88a94fd4a6ebd93d0fcf71f97a6315d98 /servers | |
| parent | 4d99e739672733d4d32c9b5bd75bd621cad6dd5c (diff) | |
Add a `platform=list` SCons argument to list platforms
This also improves the message display and makes an invalid selection
exit with a non-zero status code.
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions