Update file
If the file exists and is identical to what is to be written, merely update the timestamp on the file. Otherwise, write the file.
The idea is writes are much slower than reads, and build systems often wind up generating identical files.
name of file to update
updated contents of file
true on success
See Implementation
Update file
If the file exists and is identical to what is to be written, merely update the timestamp on the file. Otherwise, write the file.
The idea is writes are much slower than reads, and build systems often wind up generating identical files.