mirror of
https://github.com/pmret/gcc-papermario.git
synced 2024-11-08 20:02:47 +01:00
18 lines
229 B
Bash
18 lines
229 B
Bash
#!/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
|