# HG changeset patch
# User Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
# Date 1622571467 -7200
# Node ID 3a75ae40046f79060f133ab2cc209e147ce3c006
# Parent  d414e5c4470c2fe60e1c0e274d5e87619065e83f
Turn off debug for next release.

diff --git a/build.properties b/build.properties
--- a/build.properties
+++ b/build.properties
@@ -31,7 +31,7 @@ JDBC_DEF_PORT=50000
 ##
 
 # should we compile with debugging symbols? Not for public releases
-enable_debug=true
+enable_debug=false
 
 # should we optimize the build, preferably not for debugging. Yes for public releases
 enable_optimize=true