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