view build.properties @ 969:0fce9f209457 default tip

Correcting typo
author Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
date Thu, 20 Mar 2025 19:41:27 +0100 (12 days ago)
parents bbd6f2407d2e
children
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=12
# minor release number
JDBC_MINOR=1


##
## 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