diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2010-01-05 02:34:03 +0000 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2010-01-05 02:34:03 +0000 |
| commit | 9d781b55f4ba2481a6217316361ddfd67cc06318 (patch) | |
| tree | bf00d46a490e3cdd252debae37e7c9283d9831b5 /src/tutorial/complex.source | |
| parent | c3a1eae252d2a5e5e8ff81b79f88b1bc12b5e01e (diff) | |
Remove too-smart-for-its-own-good optimization of not overwriting the output
files when they haven't changed. This confuses make because the build fails
to update the file timestamps, and so it keeps on doing the action over again.
Diffstat (limited to 'src/tutorial/complex.source')
0 files changed, 0 insertions, 0 deletions