diff options
Diffstat (limited to 'tools/maybe-mv')
| -rwxr-xr-x | tools/maybe-mv | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/maybe-mv b/tools/maybe-mv index 996052f..56d8e9e 100755 --- a/tools/maybe-mv +++ b/tools/maybe-mv @@ -2,9 +2,7 @@ # Replace one file with another, but maybe don't update the timestamp if cmp "$1" "$2" then - echo rm "$1" rm "$1" else - echo mv "$1" "$2" mv "$1" "$2" fi |