summaryrefslogtreecommitdiff
path: root/src/runtime
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2010-11-26 18:25:29 +0000
committerhallgren <hallgren@chalmers.se>2010-11-26 18:25:29 +0000
commit52eb1dcc379e0884325592147d132b07e35d1638 (patch)
tree71b79410a3d983e6687eba1d10d5f0bf7375a34f /src/runtime
parent4c6b772934d070b263616db9c019b443bd5321aa (diff)
Add builtin preprocessors. Avoid creating tmp file. Fix multipreprocessor bug.
* The gf command line options -preproc=mkPresent and -preproc=mkMinimal now refer to internal preprocessors equivalent to lib/src/mkPresent and lib/src/mkMinimal. * The temporary file _gf_preproc.tmp is not created when running an internal preprocessor, unless there is an error, since errors messages refer to locations in the preprocessed file. (Possibly allowing the rgl build to be parallelized.) * After running an external preprocessor, the temporary file is deleted, unless there was an error. * (Bug fix) Before, when running more than one preprocessor, the same file name would be used for both input and output, e.g., mkPresent _gf_preproc.tmp > _gf_preproc.tmp which would result in an empty file being processed. Now, the input and output files will always be different.
Diffstat (limited to 'src/runtime')
0 files changed, 0 insertions, 0 deletions