view move-if-change @ 53193:f62f33c4d0fb

(gud-watch, gdb-var-create-handler) (gdb-var-list-children, gdb-var-list-children-handler) (gdb-var-update-handler, gdb-var-delete): Add server prefix to the gdb commands that use mi to keep them out of the command history.

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