diff options
| author | hallgren <hallgren@chalmers.se> | 2014-01-09 17:30:24 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-01-09 17:30:24 +0000 |
| commit | ed3d30e3d1134dfd06ae2a88b51767041eda6c0b (patch) | |
| tree | 99931497cd2c5316ae42e0acca22d31ce4293ad8 /src/compiler/SimpleEditor/JSON.hs | |
| parent | 768d9de6681b5ac69b42128fbde18c8421cb5f1e (diff) | |
Check file datestamp before creating PGF file when compiling grammars
When running a command like
gf -make L_1.gf ... L_n.gf
gf now avoids recreating the target PGF file if it already exists and is
up-to-date.
gf still reads all required .gfo files, so significant additional speed
improvements are still possible. This could be done by reading .gfo files
more lazily...
Diffstat (limited to 'src/compiler/SimpleEditor/JSON.hs')
0 files changed, 0 insertions, 0 deletions