diff --git a/configure b/configure index 2f3f5e4045951c6fd16ffbd70a5439f4cd410c6e..a9940f6144c4d20f7b19d98cad488c2eea2ac57b 100755 --- a/configure +++ b/configure @@ -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)"