diff --git a/contrib/platform/greenplum/hdmon/linux b/contrib/platform/greenplum/hdmon/linux index b7847d2340..fa4f0c9861 100644 --- a/contrib/platform/greenplum/hdmon/linux +++ b/contrib/platform/greenplum/hdmon/linux @@ -29,4 +29,4 @@ with_slurm=no with_devel_headers=yes with_portals=no with_valgrind=no -with_sqlite3=yes +with_sqlite3=no