diff options
author | Ganesh Ajjanagadde <gajjanagadde@gmail.com> | 2015-08-27 01:08:34 -0400 |
---|---|---|
committer | Michael Niedermayer <michael@niedermayer.cc> | 2015-08-27 11:47:52 +0200 |
commit | f174bfea86b38c0deaeb8d57166e6908bef9d69a (patch) | |
tree | bf1285ddcd2dd7d7918d54943862939f430eda49 /configure | |
parent | f5258a7d16d01ddce0913b110a5d407d460c3906 (diff) | |
download | ffmpeg-f174bfea86b38c0deaeb8d57166e6908bef9d69a.tar.gz |
configure: remove unused apply() function
Signed-off-by: Ganesh Ajjanagadde <gajjanagadde@gmail.com>
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 6 |
1 files changed, 0 insertions, 6 deletions
@@ -1312,12 +1312,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" && echo "$2 is unchanged" && return mkdir -p "$(dirname $2)" |