diff options
Diffstat (limited to 'trunk/tool/ifchange')
-rwxr-xr-x | trunk/tool/ifchange | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/trunk/tool/ifchange b/trunk/tool/ifchange deleted file mode 100755 index 544513ad15..0000000000 --- a/trunk/tool/ifchange +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh -# usage: ifchange target temporary - -target="$1" -temp="$2" -if [ "$temp" = - ]; then - temp="tmpdata$$.tmp~" - cat > "$temp" || exit $? - trap 'rm -f "$temp"' 0 -fi -if cmp "$target" "$temp" >/dev/null 2>&1; then - echo "$target unchanged" - rm -f "$temp" -else - echo "$target updated" - mv -f "$temp" "$target" -fi |