Hi jazzbiker. I agree that GNU diff is shooting a crow with a nuke here.
cat is a good idea, but doesn't work by itself doesn't work because it preserves whitespace.
echo eats whitespace, so if we combine
cat and
echo then it works
Also, I did some experiments and noticed that
fetchmissing is not needed. If a new .dep file creates the need to fetch an additional dependency, the
tce-update at the end takes care of it (tce-update has a "Fetching required dependency..." step).
So here is latest version:
1. Uses cat+echo instead of GNU diff for the comparison
2. fetchmissing is eliminated because tce-update already takes care of that
Your thoughts?
EDIT: If local .dep file differs from repo's .dep file only by order in which dependencies are listed, the
update-everything script will still see the difference and will update the .dep file. This is desirable because sometimes the order in which the dependencies are loaded is important.