From aa3655d35e2cf5db85ee76d642eeba23481a0517 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Thu, 5 Sep 2019 12:05:32 +0200
Subject: [PATCH] remove AS integer for Postgres backwards-commpatibility of
 the dump

---
 src/benchmark/generate-auditor-basedb.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/benchmark/generate-auditor-basedb.sh b/src/benchmark/generate-auditor-basedb.sh
index 4f4d76622..fafb6f03a 100755
--- a/src/benchmark/generate-auditor-basedb.sh
+++ b/src/benchmark/generate-auditor-basedb.sh
@@ -80,7 +80,7 @@ kill `jobs -p`
 
 # Dump database
 echo "Dumping database"
-pg_dump -O $TARGET_DB > auditor-basedb.sql
+pg_dump -O $TARGET_DB | sed -e '/AS integer/d' > auditor-basedb.sql
 
 echo $MASTER_PUB > auditor-basedb.mpub