diff options
Diffstat (limited to 'contrib/fsm-to-dot.py')
| -rwxr-xr-x | contrib/fsm-to-dot.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/fsm-to-dot.py b/contrib/fsm-to-dot.py index 06d2df10..3e9678d3 100755 --- a/contrib/fsm-to-dot.py +++ b/contrib/fsm-to-dot.py @@ -15,6 +15,10 @@ No proper C parsing is done here (pycparser sucked, unfortunately). import sys, re, os +if '-h' in sys.argv or '--help' in sys.argv: + print(__doc__) + exit(0) + def err(msg): sys.stderr.write(msg + '\n') |