diff options
| author | Ken Raeburn <raeburn@mit.edu> | 2002-03-26 21:27:05 +0000 |
|---|---|---|
| committer | Ken Raeburn <raeburn@mit.edu> | 2002-03-26 21:27:05 +0000 |
| commit | a8d8f93843c6e0dabbb86639a94dc19d31908e23 (patch) | |
| tree | 5caa2fa56764827d794f57baebddc235ca5fe9e8 /src/config/move-if-changed | |
| parent | 234d0d58b9ed1f67e862da1d96e0096169b80c60 (diff) | |
| download | krb5-a8d8f93843c6e0dabbb86639a94dc19d31908e23.tar.gz krb5-a8d8f93843c6e0dabbb86639a94dc19d31908e23.tar.xz krb5-a8d8f93843c6e0dabbb86639a94dc19d31908e23.zip | |
* move-if-changed: New script.
* post.in (depend-postrecurse): Use it.
git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@14289 dc483132-0cff-0310-8789-dd5450dbe970
Diffstat (limited to 'src/config/move-if-changed')
| -rw-r--r-- | src/config/move-if-changed | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/config/move-if-changed b/src/config/move-if-changed new file mode 100644 index 000000000..21403e129 --- /dev/null +++ b/src/config/move-if-changed @@ -0,0 +1,17 @@ +#!/bin/sh +# Move file 1 to file 2 if they don't already match. +# Good for "make depend" for example, where it'd be nice to keep the +# old datestamp. +if [ $# != 2 ]; then + echo 2>&1 usage: $0 newfile oldfilename + exit 1 +fi +# +if [ ! -r "$2" ]; then + exec mv -f "$1" "$2" +fi +if cmp "$1" "$2" >/dev/null; then + echo "$2 is unchanged" + exec rm -f "$1" +fi +exec mv -f "$1" "$2" |