view move-if-change @ 46380:48b292c584a6

* intervals.c (create_root_interval, balance_possible_root_interval, delete_interval, copy_intervals_to_string): Use STRING_SET_INTERVALS.

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