change pg_dump version to 12 in server makefile (#3249)

This commit is contained in:
Shahidh K Muhammed 2019-10-26 22:33:54 +05:30 committed by Alexis King
parent 31e0225230
commit ba751450be

View File

@ -7,7 +7,7 @@ nproc := $(shell nproc)
# TODO: needs to be replaced with something like yq
stack_resolver := $(shell awk '/^resolver:/ {print $$2;}' stack.yaml)
packager_ver := 20190923
pg_dump_ver := 11
pg_dump_ver := 12
project_dir := $(shell pwd)
build_dir := $(project_dir)/$(shell stack path --dist-dir)/build