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