Index: configure
===================================================================
--- configure	(revision 114936a6f7965d93d3969bca38c3a9dbbc748d3e)
+++ configure	(revision 3fcbdca128a1ff1d7a5c8fe6fb9005c9f448586f)
@@ -3402,4 +3402,5 @@
 		"debug") ;;
 		"nolib") ;;
+		"profile") ;;
 		*)
 			>&2 echo "Configuration must be 'debug', 'nodebug' or 'nolib'"