diff options
Diffstat (limited to 'src/benchmark')
| -rwxr-xr-x | src/benchmark/generate-auditor-basedb.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |