Author: jstephens
Date: 2008-02-20 20:27:51 +0100 (Wed, 20 Feb 2008)
New Revision: 9944
Log:
Don't waste time formatting dynxml-* files
Modified:
trunk/tools/format-all
Modified: trunk/tools/format-all
===================================================================
--- trunk/tools/format-all 2008-02-20 18:29:53 UTC (rev 9943)
+++ trunk/tools/format-all 2008-02-20 19:27:51 UTC (rev 9944)
Changed blocks: 1, Lines Added: 14, Lines Deleted: 12; 894 bytes
@@ -13,18 +13,20 @@
$files = scandir($dir);
foreach($files as $file)
-{
- if(
- strpos($file, '.xml') !== FALSE
- &&
- strpos($file, '.xml~') === FALSE
- &&
- strpos($file, '.bak') === FALSE
- )
{
- $command = 'make ' . str_replace('.xml', '.format', $file);
- echo "$command\n";
- shell_exec($command);
+ if(
+ strpos($file, '.xml') !== FALSE
+ &&
+ strpos($file, '.xml~') === FALSE
+ &&
+ strpos($file, '.bak') === FALSE
+ &&
+ strpos($file, 'dynxml-') === FALSE
+ )
+ {
+ $command = 'make ' . str_replace('.xml', '.format', $file);
+ echo "$command\n";
+ shell_exec($command);
+ }
}
-}
?>
| Thread |
|---|
| • svn commit - mysqldoc@docsrva: r9944 - trunk/tools | jon | 20 Feb |