view move-if-change @ 48651:572f41d9a2ea

(tooltip-gud-tips-p): Undo previous change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 04 Dec 2002 11:43:05 +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