diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2011-04-26 09:00:57 -0400 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2011-04-26 09:00:57 -0400 |
commit | 20ee83fe8ab703e27e37bf2c348d1278667837e3 (patch) | |
tree | 9158cb620de22a0347c027878804003e92b227dc | |
parent | 4d1cc5568cf25c5439d7eee27a7cdc7154644da9 (diff) | |
download | gpsd-20ee83fe8ab703e27e37bf2c348d1278667837e3.tar.gz |
Fix a minor code-generator error.
-rwxr-xr-x | devtools/tablegen.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/tablegen.py b/devtools/tablegen.py index 2475f81f..f95750bb 100755 --- a/devtools/tablegen.py +++ b/devtools/tablegen.py @@ -215,7 +215,7 @@ def make_json_dumper(wfp): if i < len(names) - 1: print >>wfp, arg + "," else: - print >>wfp, arg + ";" + print >>wfp, arg + ");" print >>wfp, (baseindent + step) + "else" print >>wfp, (baseindent + step*2) + header print >>wfp, (baseindent + step*3) + '"%s",' % unscaled |