Changeset 18863

Timestamp:

Aug 1, 2008, 2:42:24 PM (18 years ago)

Author:

eugene

Message:

adding profile flags

File:

• trunk/psconfig/psbuild (modified) (3 diffs)

trunk/psconfig/psbuild

@@ -8 +8 @@
 $rebuild = 0;
 $optimize = 0;
+$profile = 0;
 $developer = 0;
 $start = "";
@@ -54 +55 @@
     if ($ARGV[0] eq "-optimize") {
         $optimize = 1;
+        shift; next;
+    }
+    if ($ARGV[0] eq "-profile") {
+        $profile = 1;
         shift; next;
     }
@@ -208 +213 @@
     $psopts = "";
     if ($optimize) { $psopts = "$psopts --enable-optimize"; }
+    if ($profile)  { $psopts = "$psopts --enable-profiler"; }
 
     $homedir = `pwd`; chomp $homedir;