laforge submitted this change.
deps/update: skip checkout if nothing to do
Let the user see what changes when running "make deps" instead of
having unrelated lines for checking out the commits that are already
checked out.
Change-Id: I572ab11afd56e34d9d0d04cd1372af749caa7d48
---
M deps/update.sh
1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/deps/update.sh b/deps/update.sh
index 046fb69..8099ed7 100755
--- a/deps/update.sh
+++ b/deps/update.sh
@@ -4,6 +4,11 @@
cd "$DIR"
+if [ "$(git rev-parse HEAD)" = "$COMMIT" ]; then
+ # Commit is already checked out, nothing to do!
+ exit 0
+fi
+
if ! git cat-file -e "$COMMIT"; then
echo "[$DIR] Missing $COMMIT, fetching git repository"
git fetch
To view, visit change 38222. To unsubscribe, or for help writing mail filters, visit settings.