Oh, more problems: after running check-world in a non-VPATH build, there are droppings all over my tree:
$ git status On branch master Your branch is up to date with 'origin/master'. Untracked files: (use "git add <file>..." to include in what will be committed) src/interfaces/ecpg/test/sql/sqljson_jsontable src/interfaces/ecpg/test/sql/sqljson_jsontable.c src/test/modules/test_json_parser/test_json_parser_incremental src/test/modules/test_json_parser/test_json_parser_perf src/test/modules/test_json_parser/tmp_check/ nothing added to commit but untracked files present (use "git add" to track) "make clean" or "make distclean" removes some of that but not all: $ make -s distclean $ git status On branch master Your branch is up to date with 'origin/master'. Untracked files: (use "git add <file>..." to include in what will be committed) src/test/modules/test_json_parser/test_json_parser_incremental src/test/modules/test_json_parser/test_json_parser_perf nothing added to commit but untracked files present (use "git add" to track) So we're short several .gitignore entries, and apparently also shy a couple of make-clean rules. regards, tom lane