diff options
| author | Katsumi Yamaoka <yamaoka@jpl.org> | 2010-12-03 14:45:09 +0000 |
|---|---|---|
| committer | Katsumi Yamaoka <yamaoka@jpl.org> | 2010-12-03 14:45:09 +0000 |
| commit | 067d23c97ab3a4135388d8dd87f1dd04c6248572 (patch) | |
| tree | 4f3d4b2df245bf920c066f80923b3adda1585468 /move-if-change | |
| parent | 19b9c467ea2ef3838f3bf2231d21d999db67fe59 (diff) | |
| download | emacs-067d23c97ab3a4135388d8dd87f1dd04c6248572.tar.gz | |
Restore files that I seem to have mistakenly deleted.
Diffstat (limited to 'move-if-change')
| -rw-r--r-- | move-if-change | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/move-if-change b/move-if-change new file mode 100644 index 00000000000..ee9e355e3e6 --- /dev/null +++ b/move-if-change @@ -0,0 +1,15 @@ +#!/bin/sh +if +test -r $2 +then +if +cmp $1 $2 > /dev/null +then +echo $2 is unchanged +rm -f $1 +else +mv -f $1 $2 +fi +else +mv -f $1 $2 +fi |