view move-if-change @ 55642:d69e0fb91340

* w32proc.c (w32_pipe_read_delay): Rename from Vw32_pipe_read_delay and make it an int. * w32proc.c (create_child) [USE_LSB_TAG]: Don't try to mask pid.

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