Index: library/mongodb/configure
===================================================================
diff -u -r9e8610ba86e16a518747bd25907d04b2aaf19dd5 -r1c9684a6be93da0beb9e73d6ff02ed2b6f014c19
--- library/mongodb/configure	(.../configure)	(revision 9e8610ba86e16a518747bd25907d04b2aaf19dd5)
+++ library/mongodb/configure	(.../configure)	(revision 1c9684a6be93da0beb9e73d6ff02ed2b6f014c19)
@@ -735,6 +735,7 @@
 with_bson
 with_nsf
 enable_development
+enable_profile
 with_tcl
 with_tclinclude
 enable_threads
@@ -1366,6 +1367,7 @@
   --enable-FEATURE[=ARG]  include FEATURE [ARG=yes]
   --enable-development    build nsf with development support (intensive
                           runtime checking, etc.; default: disabled)
+  --enable-profile        build nsf with profile support (default: disabled)
   --enable-threads        build with threads
   --enable-shared         build and link with shared libraries (default: on)
   --enable-64bit          enable 64bit support (default: off)
@@ -2376,6 +2378,12 @@
   enable_development=no
 fi
 
+# Check whether --enable-profile was given.
+if test "${enable_profile+set}" = set; then :
+  enableval=$enable_profile; enable_profile=$enableval
+else
+  enable_profile=no
+fi
 
 
 #--------------------------------------------------------------------