mirror of
git://gcc.gnu.org/git/gcc.git
synced 2024-12-23 09:09:07 +08:00
20 lines
481 B
Plaintext
20 lines
481 B
Plaintext
|
# Rename a file only if it is different from a previously existing
|
||
|
|
# file of the same name. This is useful for keeping make from doing
|
||
|
|
# too much work if the contents of a file haven't changed.
|
||
|
|
|
||
|
|
# This is an MPW translation of the standard GNU sh script move-if-change.
|
||
|
|
|
||
|
|
Set exit 0
|
||
|
|
|
||
|
|
If "`exists -f "{2}"`"
|
||
|
|
Compare "{1}" "{2}" >dev:null
|
||
|
|
If {status} != 0
|
||
|
|
Rename -y "{1}" "{2}"
|
||
|
|
Else
|
||
|
|
Echo "{2}" is unchanged
|
||
|
|
Delete -i -y "{1}"
|
||
|
|
End
|
||
|
|
Else
|
||
|
|
Rename -y "{1}" "{2}"
|
||
|
|
End
|