# 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