view build.properties @ 900:be8476c1acec

Adapt queries used in JDBC DatabaseMetaData methods getBestRowIdentifier() and getIndexInfo() to include new key_type: 3 = Unique Key With Nulls Not Distinct.
author Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
date Thu, 30 May 2024 18:27:51 +0200 (10 months ago)
parents e00866975421
children 203c4cc8d94d
line wrap: on
line source
# Default build parameters.  These may be overridden by local configuration
# settings in build.local.properties.


##
## JDBC (and client)
##

# major release number
JDBC_MAJOR=3
# minor release number
JDBC_MINOR=3
# an additional identifying string
JDBC_VER_SUFFIX=Liberica


##
## General
##

# should we compile with debugging symbols? Not for public releases
enable_debug=false

# should we optimize the build, preferably not for debugging. Yes for public releases
enable_optimize=true