Only update XML files if they've changed
commit0cc984435c9bbb8f38fe6b3012f630fdbf04ad7f
authorThomas Leonard <talex5@gmail.com>
Sun, 21 Mar 2010 11:18:19 +0000 (21 11:18 +0000)
committerThomas Leonard <talex5@gmail.com>
Sun, 21 Mar 2010 11:59:25 +0000 (21 11:59 +0000)
treeae203c46e16d4a0887839dfd58f7d029527a9005
parentb2f79853586bd60156ee7c397e12aacc3d82eea3
Only update XML files if they've changed

Otherwise, make has to do lots of extra work.
stats.py