diff options
| author | Hartmut Goebel <h.goebel@crazy-compilers.com> | 2014-03-25 18:05:13 +0100 |
|---|---|---|
| committer | Pascal Terjan <pterjan@gmail.com> | 2014-03-25 22:29:31 +0000 |
| commit | 9c65b2f0df474746e78c50bec428c6ef34fe93e6 (patch) | |
| tree | 5852f34acf0996ae7b90a3295ed0b13e16d36e21 /emi | |
| parent | 8d00c2ff108e09fb9873c0fdd63eb76b16b5d7a4 (diff) | |
| download | iurt-9c65b2f0df474746e78c50bec428c6ef34fe93e6.tar iurt-9c65b2f0df474746e78c50bec428c6ef34fe93e6.tar.gz iurt-9c65b2f0df474746e78c50bec428c6ef34fe93e6.tar.bz2 iurt-9c65b2f0df474746e78c50bec428c6ef34fe93e6.tar.xz iurt-9c65b2f0df474746e78c50bec428c6ef34fe93e6.zip | |
Fix: Stop processing after printing config-help.
Only if --config-help is given, of course.
Diffstat (limited to 'emi')
0 files changed, 0 insertions, 0 deletions