[cig-commits] r15935 - doc/geodynamics.org/benchmarks/trunk

[luis at geodynamics.org]

Author: luis
Date: 2009-11-04 01:02:43 -0800 (Wed, 04 Nov 2009)
New Revision: 15935

Modified:
   doc/geodynamics.org/benchmarks/trunk/diff.sh
Log:
Compare header files too

Modified: doc/geodynamics.org/benchmarks/trunk/diff.sh
===================================================================
--- doc/geodynamics.org/benchmarks/trunk/diff.sh	2009-11-04 09:02:38 UTC (rev 15934)
+++ doc/geodynamics.org/benchmarks/trunk/diff.sh	2009-11-04 09:02:43 UTC (rev 15935)
@@ -2,7 +2,10 @@
 # Detect any changes between local source files and the
 # corresponding source files inside our _latest folder.
 #
-diffcmd=colordiff
+diffcmd="colordiff $*"
 for file in `cat sources.txt`; do
-    ${diffcmd} $* -u ${file} ./_latest/${file##./}
+    f=${file##./}
+    header=${f%%.rst}.header
+    ${diffcmd} -u ${header} ./_latest/${header}
+    ${diffcmd} -u ${f} ./_latest/${f}
 done