aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDiego Biurrun <diego@biurrun.de>2017-10-21 00:22:38 +0200
committerDiego Biurrun <diego@biurrun.de>2017-11-02 10:55:47 +0100
commit14bba662d489a58fe88240fc4d14238bf17ca203 (patch)
tree38fc494a7813277ef8014135c039824d759d6a4f
parent61a17423d3711cb34a18b44e1ec2510c2f70a56c (diff)
downloadffmpeg-14bba662d489a58fe88240fc4d14238bf17ca203.tar.gz
configure: Remove unused apply() helper function
-rwxr-xr-xconfigure6
1 files changed, 0 insertions, 6 deletions
diff --git a/configure b/configure
index 4dfe24e39e..6ff2ae2f92 100755
--- a/configure
+++ b/configure
@@ -1196,12 +1196,6 @@ check_host_cpp_condition(){
EOF
}
-apply(){
- file=$1
- shift
- "$@" < "$file" > "$file.tmp" && mv "$file.tmp" "$file" || rm "$file.tmp"
-}
-
cp_if_changed(){
cmp -s "$1" "$2" && { test "$quiet" != "yes" && echo "$2 is unchanged"; } && return
mkdir -p "$(dirname $2)"