Index: trunk/psconfig/psbuild
===================================================================
--- trunk/psconfig/psbuild	(revision 18863)
+++ trunk/psconfig/psbuild	(revision 18878)
@@ -213,5 +213,5 @@
     $psopts = "";
     if ($optimize) { $psopts = "$psopts --enable-optimize"; }
-    if ($profile)  { $psopts = "$psopts --enable-profiler"; }
+    if ($profile)  { $psopts = "$psopts --enable-profile"; }
 
     $homedir = `pwd`; chomp $homedir;