From 10af7f71079a44698d4e4c0ad88195e1af4bc2ef Mon Sep 17 00:00:00 2001
From: Javier Viguera <javier.viguera@digi.com>
Date: Thu, 11 Jul 2013 14:02:12 +0200
Subject: [PATCH] build.sh: time 'repo sync'

Signed-off-by: Javier Viguera <javier.viguera@digi.com>
---
 sdk/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sdk/build.sh b/sdk/build.sh
index 4e8354b45..1c33735bc 100755
--- a/sdk/build.sh
+++ b/sdk/build.sh
@@ -115,7 +115,7 @@ if pushd ${YOCTO_INST_DIR}; then
 		fi
 	fi
 	yes "" 2>/dev/null | ${REPO} init --no-repo-verify -u ${MANIFEST_URL} ${repo_revision}
-	${REPO} sync ${MAKE_JOBS}
+	time ${REPO} sync ${MAKE_JOBS}
 	popd
 fi