diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2008-02-26 07:20:38 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2008-02-26 07:20:38 +0000 |
| commit | 3690019da8b6993c4a13298851fa4bca1ef17edc (patch) | |
| tree | b32529724abbe81978516f711690c0fea7d62d2b /src/tutorial/basics.source | |
| parent | a1d5d8574751d62a039d8ceb44329ee7c637196a (diff) | |
| download | postgresql-3690019da8b6993c4a13298851fa4bca1ef17edc.tar.gz postgresql-3690019da8b6993c4a13298851fa4bca1ef17edc.zip | |
We don't need to rebuild objfiles.txt every time an object file changes.
So only rebuild when a makefile changes (which presumably defines the
file list somewhere), and only touch the file if an object changed. The
touch is necessary so the parent make knows something changed and
ultimately rebuilds postgres.
Diffstat (limited to 'src/tutorial/basics.source')
0 files changed, 0 insertions, 0 deletions