diff options
| author | hallgren <hallgren@chalmers.se> | 2015-05-05 13:51:35 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-05-05 13:51:35 +0000 |
| commit | b0e8a49b9aa0764a83bfe88afc55fd29eb915f9e (patch) | |
| tree | 134dde222cbd775d8d901b430f1e04362b273b21 /src/runtime | |
| parent | 3649412ce26bdbc0ff078350ce0b037cd3774338 (diff) | |
GF.CompileOne: use random numbers to avoid temporary file name clashes
When using make -j to compile examples/app or examples/phrasebook, since
the dependencies are not completely specified in the Makefiles, it can
happen that the same file is compiled at the same by more than one process,
resulting in an error when they try to write the same .gfo.tmp file. Adding a
random number to the temporary file name avoids this problem.
Diffstat (limited to 'src/runtime')
0 files changed, 0 insertions, 0 deletions