diff options
author | Peter Eisentraut <peter_e@gmx.net> | 2013-03-29 21:39:55 -0400 |
---|---|---|
committer | Peter Eisentraut <peter_e@gmx.net> | 2013-03-29 21:39:55 -0400 |
commit | 602070f9cce790debd8d1469254e7726ab499ae7 (patch) | |
tree | 5fec7e29a7b8fb0f940b2cff70d75d1fb12a4711 /src/tutorial/basics.source | |
parent | 6caf759f3f34eb496f4a92c3db9d3289299066b9 (diff) |
ecpg: Parallel make fix
In some parallel make situations, the install-headers target could be
called before the installation directories are created by installdirs,
causing the installation to fail. Fix that by making install-headers
depend on installdirs.
Diffstat (limited to 'src/tutorial/basics.source')
0 files changed, 0 insertions, 0 deletions