summaryrefslogtreecommitdiff
path: root/tools/dfagen/dfagen/command.py
diff options
context:
space:
mode:
authorNicolas Schodet2009-02-09 20:05:30 +0100
committerNicolas Schodet2009-02-09 20:05:30 +0100
commit2e95e3a33bcb34aeec66551503c692c1cb80ab61 (patch)
tree6b763ee0d1bf458da0ced13f44535b42f3b8efb8 /tools/dfagen/dfagen/command.py
parent552b28da98a387d13aea7403a7e72732a913277d (diff)
* all python:
- changed tabs to spaces.
Diffstat (limited to 'tools/dfagen/dfagen/command.py')
-rw-r--r--tools/dfagen/dfagen/command.py8
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/dfagen/dfagen/command.py b/tools/dfagen/dfagen/command.py
index 36f4803d..8a976023 100644
--- a/tools/dfagen/dfagen/command.py
+++ b/tools/dfagen/dfagen/command.py
@@ -10,13 +10,13 @@ from optparse import OptionParser
def run ():
opt = OptionParser ()
opt.add_option ('-d', '--dfa', dest='dfa',
- help='read DFA description from FILE', metavar='FILE')
+ help='read DFA description from FILE', metavar='FILE')
opt.add_option ('-o', '--output', dest='output',
- help='choose output format', metavar='OUTPUT')
+ help='choose output format', metavar='OUTPUT')
opt.add_option ('-c', '--config', dest='config',
- help='read output configuration from FILE', metavar='FILE')
+ help='read output configuration from FILE', metavar='FILE')
opt.add_option ('-p', '--prefix', dest='prefix',
- help='use PREFIX for generated output', metavar='PREFIX')
+ help='use PREFIX for generated output', metavar='PREFIX')
# TODO add more error checking.
(options, args) = opt.parse_args ()
# Read automaton.