Searched refs:files_equal (Results 1 – 1 of 1) sorted by relevance
55 function files_equal() { function80 if files_equal "$source" "$dest"; then