Searched refs:to_be_patched (Results 1 – 1 of 1) sorted by relevance
63 for to_be_patched in "$@" ; do64 sort -u -o "$tmp_patched" -- "$to_be_patched" "$tmp_new_symbols"65 if ! cmp -s -- "$to_be_patched" "$tmp_patched"; then66 echo "info: updating $to_be_patched" 1>&267 cp -- "$tmp_patched" "$to_be_patched"
Completed in 3 milliseconds