diff options
| author | Tom Lane | 2018-04-12 14:38:48 +0000 |
|---|---|---|
| committer | Tom Lane | 2018-04-12 14:38:53 +0000 |
| commit | 3e110a373b8102221af5436434441cd20eeb68fa (patch) | |
| tree | 31b0e324a616be58cbc4245ba0332ab374c2b676 /src/pl | |
| parent | 524054598fd300c75007f53aebd67f9ced33b7db (diff) | |
Fix YA parallel-make hazard, this one in "make check" in plpython.
We have to ensure that submake-generated-headers is finished before
the topmost make run launches any child makes.
Discussion: https://postgr.es/m/20180411235843.GG32449@paquier.xyz
Diffstat (limited to 'src/pl')
| -rw-r--r-- | src/pl/plpython/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pl/plpython/Makefile b/src/pl/plpython/Makefile index 653fe644ee..c17015bbdf 100644 --- a/src/pl/plpython/Makefile +++ b/src/pl/plpython/Makefile @@ -131,7 +131,7 @@ installcheck: submake-pg-regress .PHONY: submake-pg-regress -submake-pg-regress: +submake-pg-regress: | submake-generated-headers $(MAKE) -C $(top_builddir)/src/test/regress pg_regress$(X) clean distclean: clean-lib |