build.sh: time 'repo sync'

Signed-off-by: Javier Viguera <javier.viguera@digi.com>
This commit is contained in:
Javier Viguera 2013-07-11 14:02:12 +02:00
parent 12f7017b58
commit 10af7f7107
1 changed files with 1 additions and 1 deletions

View File

@ -115,7 +115,7 @@ if pushd ${YOCTO_INST_DIR}; then
fi fi
fi fi
yes "" 2>/dev/null | ${REPO} init --no-repo-verify -u ${MANIFEST_URL} ${repo_revision} yes "" 2>/dev/null | ${REPO} init --no-repo-verify -u ${MANIFEST_URL} ${repo_revision}
${REPO} sync ${MAKE_JOBS} time ${REPO} sync ${MAKE_JOBS}
popd popd
fi fi