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