author | truebrain |
Thu, 17 Apr 2008 08:40:01 +0000 | |
branch | noai |
changeset 10216 | 794533ba4cbf |
parent 10212 | 1e0a2a182253 |
child 10249 | 58810805030e |
--- 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