view move-if-change @ 73136:db20c4c0a56f

(jit-lock-force-redisplay): Rename from jit-lock-fontify-again. Undo the mistaken change I've just done.

#!/bin/sh
if
test -r $2
then
if
cmp $1 $2 > /dev/null
then
echo $2 is unchanged
rm -f $1
else
mv -f $1 $2
fi
else
mv -f $1 $2
fi