view move-if-change @ 35000:c048304a388f

(x_update_begin): (x_update_end): (x_clear_frame): (x_ins_del_lines): (x_change_line_highlight): (x_delete_glyphs): (w32_ring_bell): (x_update_begin): (x_update_end): (w32_reassert_line_highlight): (w32_frame_rehighlight): (w32_frame_raise_lower): Do nothing if not w32 frame.

#!/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