diff options
author | Diego Biurrun <diego@biurrun.de> | 2017-10-21 00:22:38 +0200 |
---|---|---|
committer | Diego Biurrun <diego@biurrun.de> | 2017-11-02 10:55:47 +0100 |
commit | 14bba662d489a58fe88240fc4d14238bf17ca203 (patch) | |
tree | 38fc494a7813277ef8014135c039824d759d6a4f | |
parent | 61a17423d3711cb34a18b44e1ec2510c2f70a56c (diff) | |
download | ffmpeg-14bba662d489a58fe88240fc4d14238bf17ca203.tar.gz |
configure: Remove unused apply() helper function
-rwxr-xr-x | configure | 6 |
1 files changed, 0 insertions, 6 deletions
@@ -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)" |