mirror of
git://git.sv.gnu.org/autoconf
synced 2024-12-15 02:20:10 +08:00
4a0639d02b
* config/prev-version.txt: New. * config/move-if-change: New, for GNU libc.
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
|