diff options
author | Peter Eisentraut | 2013-04-13 02:45:51 +0000 |
---|---|---|
committer | Peter Eisentraut | 2013-04-13 02:49:25 +0000 |
commit | ba66752d278818b6b8797aec2e36cccf727db055 (patch) | |
tree | 6c5c94c5de2c45a8530d5145be70fd23f7afb97a /contrib/start-scripts/linux | |
parent | 0b337904213337db5026ef0a756a447588023935 (diff) |
Fix sporadic rebuilds for .pc files
The build of .pc (pkg-config) files depends on all makefiles in use, and
in dependency tracking mode, the previous coding ended up including
/dev/null as a makefile. Apparently, on some platforms the modification
time of /dev/null changes sporadically, and so the .pc files would end
up being rebuilt every so often. Fix that by changing the makefile code
to do without using /dev/null.
Diffstat (limited to 'contrib/start-scripts/linux')
0 files changed, 0 insertions, 0 deletions