view move-if-change @ 30447:e60d22cf57b4

(GLYPH_MASK_CHAR, GLYPH_MASK_FACE): Use 19 bits for the character code, and the rest for the face id. (FAST_GLYPH_FACE, FAST_MAKE_GLYPH): Changed accordingly.

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