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