view move-if-change @ 34987:cf1115a9c758

(make_cursor_line_fully_visible): Remove unused variable `header_line_height'. (append_space, extend_face_to_end_of_line): Declare `saved_what' enum display_element_type.

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