view move-if-change @ 74115:49ed8fc0c715

* xfaces.c (realize_default_face): Check if the default font name exists on this display before trying to use it.
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 21 Nov 2006 17:23:02 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line source

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