diff options
| author | hallgren <hallgren@chalmers.se> | 2015-02-27 13:49:13 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-02-27 13:49:13 +0000 |
| commit | e0bc6308e07edf4302242e434932c9da42c162bd (patch) | |
| tree | 338cabbc8ab4ae2cf78775074e30496ee275e8de /src/compiler/GF/Command | |
| parent | d3f6b9851f696b0b5f476f8e70f8c9797825df11 (diff) | |
GF shell: create a PGF also when the -retain flag is used
The commands available in the shell after import -retain are now a superset
of the commands available after import without -retain.
The PGF is created lazily, so there should be no performance penalty if
the PGF isn't needed. If there are errors, they won't be reported until a
command that uses the PGF is entered.
Diffstat (limited to 'src/compiler/GF/Command')
0 files changed, 0 insertions, 0 deletions