diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-22T15·58+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-22T15·58+0000 |
| commit | 40d9eb14dfb842c51e9f86818b43ae7711e1a5d6 (patch) | |
| tree | bf7f5cbee76a95e72682c5f65baecad4d6173ce0 /src/libutil/util.hh | |
| parent | 7a02d954186d6ba1ea41d9917d63f9fab84736b3 (diff) | |
* Fix the garbage collector.
Diffstat (limited to 'src/libutil/util.hh')
| -rw-r--r-- | src/libutil/util.hh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/libutil/util.hh b/src/libutil/util.hh index d0e7b3ada8..cca93cdc73 100644 --- a/src/libutil/util.hh +++ b/src/libutil/util.hh @@ -87,6 +87,11 @@ void makePathReadOnly(const Path & path); /* Create a temporary directory. */ Path createTempDir(); +/* Create a file and write the given text to it. The file is written + in binary mode (i.e., no end-of-line conversions). The path should + not already exist. */ +void writeStringToFile(const Path & path, const string & s); + /* Messages. */ |