Document --enable-cassert/--disable-cassert configure options

diff --git a/INSTALL b/INSTALL
index f9484df226d3745d06ac817fb26e73599ffafe7e..de62622fec8644a5dc3b02a1ad4cad50ebd751b7 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -115,6 +115,10 @@ To install PostgreSQL on UNIX platforms:
 
      --disable-locale  Disables USE_LOCALE
                        
+     --enable-cassert  Enables ASSERT_CHECKING (default)
+
+     --disable-cassert Disables ASSERT_CHECKING
+                       
      --with-template=TEMPLATE
                        Use template file TEMPLATE - the template files are
                        assumed to be in the directory src/template, so look