diff options
| author | hallgren <hallgren@chalmers.se> | 2013-11-11 15:13:24 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-11-11 15:13:24 +0000 |
| commit | 47e04656fb11c39ec9cbbfd7c860cd992d4855d2 (patch) | |
| tree | c1f4fc0af038a12ff495350183dbd4843fd8d885 /src/compiler/GF/Compile/Coding.hs | |
| parent | af4a1f628d2e35503402fc24ae0f6cc0c274788e (diff) | |
Fix issue 61: GF shell cannot parse a system command ending with a space
Trailing spaces caused the command line parse to be ambiguous, and
ambiguous parses were rejected by function readCommandLine, causing
the cryptic error message "command not parsed".
Diffstat (limited to 'src/compiler/GF/Compile/Coding.hs')
0 files changed, 0 insertions, 0 deletions