diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-01-29T12·22+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-01-29T12·22+0000 |
| commit | 07ffdc28629e537c3811f86b83a93655b73909ec (patch) | |
| tree | 36b10bdd8ab47d4d0098248206a87ed64b3deb28 /make/examples/aterm | |
| parent | ad529fb89fb34bea9762eccfc9c2ee6f1f2865c0 (diff) | |
* Added an option "fsync-metadata" to fsync() changes to
/nix/var/nix/db. * Removed the function writeStringToFile since it does (almost) the same thing as writeFile.
Diffstat (limited to 'make/examples/aterm')
0 files changed, 0 insertions, 0 deletions