diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-06 15:29:38 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-06 15:29:38 +0000 |
| commit | 1dbf575a71491068547614a54cfbb32580dc89a8 (patch) | |
| tree | 49b3a33663056fd4d7cdef99a88c337bcaf4f175 /src/compiler/GF/Compile | |
| parent | cfcf7cbc7fb801c22c8d31f7ad7014606d2e8fb9 (diff) | |
gf -server: make it possible to pass arbitrary flags/options to gf when compiling grammars
For example, you can add -optimize-pgf:
http://localhost:41296/cloud?dir=...&command=remake&-optimize-pgf=&Foods2Eng.gf=&Foods2Swe.gf=
Diffstat (limited to 'src/compiler/GF/Compile')
0 files changed, 0 insertions, 0 deletions