buildtools.git

# 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