svn commit - mysqldoc@docsrva: r9951 - trunk/tools

[jon]

Author: jstephens
Date: 2008-02-20 21:03:33 +0100 (Wed, 20 Feb 2008)
New Revision: 9951

Log:

Don't waste time with *prepped* files, either. :)



Modified:
   trunk/tools/format-all


Modified: trunk/tools/format-all
===================================================================
--- trunk/tools/format-all	2008-02-20 19:55:12 UTC (rev 9950)
+++ trunk/tools/format-all	2008-02-20 20:03:33 UTC (rev 9951)
Changed blocks: 1, Lines Added: 2, Lines Deleted: 0; 457 bytes

@@ -22,6 +22,8 @@
       strpos($file, '.bak') === FALSE
       &&
       strpos($file, 'dynxml-') === FALSE
+      &&
+      strpos($file, 'prepped') === FALSE
       )
     {
       $command = 'make ' .  str_replace('.xml', '.format', $file);