mirror of
git://gcc.gnu.org/git/gcc.git
synced 2024-12-21 20:52:49 +08:00
18 lines
229 B
Bash
Executable File
18 lines
229 B
Bash
Executable File
#!/bin/sh
|
|
# Like mv $1 $2, but if the files are the same, just delete $1.
|
|
# Status is 0 if $2 is changed, 1 otherwise.
|
|
if
|
|
test -r $2
|
|
then
|
|
if
|
|
cmp -s $1 $2
|
|
then
|
|
echo $2 is unchanged
|
|
rm -f $1
|
|
else
|
|
mv -f $1 $2
|
|
fi
|
|
else
|
|
mv -f $1 $2
|
|
fi
|