(svn r12748) [NoAI] -Fix r12744: a change in $Id$ is not a change noai
authortruebrain
Thu, 17 Apr 2008 08:40:01 +0000
branchnoai
changeset 10216 794533ba4cbf
parent 10212 1e0a2a182253
child 10249 58810805030e
(svn r12748) [NoAI] -Fix r12744: a change in $Id$ is not a change
src/ai/api/squirrel_export.sh
--- a/src/ai/api/squirrel_export.sh	Thu Apr 17 00:37:41 2008 +0000
+++ b/src/ai/api/squirrel_export.sh	Thu Apr 17 08:40:01 2008 +0000
@@ -80,7 +80,7 @@
 
 awk -f ${f}.awk ${f} > ${f}.tmp
 
-if [ -n "`diff -b ${f} ${f}.tmp`" ]; then
+if [ -n "`diff -I '$Id' -b ${f} ${f}.tmp`" ]; then
 	mv ${f}.tmp ${f}
 	echo "Updated: ${f}"
 else