Move profiling to additional option (#31)

Author: leborchuk

build_automation/gpdb/scripts/configure-gpdb.sh

@@ -57,10 +57,14 @@
 #
 #                 When true, enables:
 #                   --enable-debug
-#                   --enable-profiling
 #                   --enable-cassert
 #                   --enable-debug-extensions
 #
+#   ENABLE_PROFILING - Enable profiling options (default is false)
+#
+#                 When true, enables:
+#                   --enable-profiling
+#
 #   CONFIGURE_EXTRA_OPTS - args to pass to configure
 #
 # Prerequisites:
@@ -117,11 +121,15 @@ CONFIGURE_DEBUG_OPTS=""
 
 if [ "${ENABLE_DEBUG:-false}" = "true" ]; then
     CONFIGURE_DEBUG_OPTS="--enable-debug \
-                          --enable-profiling \
                           --enable-cassert \
                           --enable-debug-extensions"
 fi
 
+CONFIGURE_PROFILING_OPTS=""
+if [ "${ENABLE_PROFILING:-false}" = "true" ]; then
+    CONFIGURE_PROFILING_OPTS="--enable-profiling"
+fi
+
 # Configure build
 log_section "Configure"
 execute_cmd ./configure --with-perl --with-python --with-libxml --enable-mapreduce --with-gssapi \
@@ -130,6 +138,7 @@ execute_cmd ./configure --with-perl --with-python --with-libxml --enable-mapredu
         --with-includes=${BUILD_DESTINATION}/include \
         --prefix=${BUILD_DESTINATION} \
         ${CONFIGURE_DEBUG_OPTS} \
+	${CONFIGURE_PROFILING_OPTS} \
         --with-ldap \
         --enable-gpperfmon \
         --with-pam \