diff options
| author | Daniel Hobi <daniel.hobi@schmid-telecom.ch> | 2010-09-16 14:36:09 +0200 |
|---|---|---|
| committer | Wolfgang Denk <wd@denx.de> | 2010-09-18 23:56:19 +0200 |
| commit | 29ccd7c312f63e87a520b95dd9ec8fd2e1b9a3a6 (patch) | |
| tree | fddf819874fd39d5815e71b5993d18306f4754f6 /.gitignore | |
| parent | 122bc08845c25367d23e3d7a74c29b7d1ac07234 (diff) | |
tools/env: fail on invalid options
Signed-off-by: Daniel Hobi <daniel.hobi@schmid-telecom.ch>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions