utils/index-all-repositories: Add missing parameters

Signed-off-by: Maxime Chretien <maxime.chretien@bootlin.com>
This commit is contained in:
Maxime Chretien 2020-06-19 09:31:59 +02:00
parent c6083a84b6
commit d3a6027e55

View file

@ -39,18 +39,18 @@ index() {
then then
cd $LXR_REPO_DIR cd $LXR_REPO_DIR
git remote add other $remote git remote add other $remote
git fetch other git fetch --tags other
fi fi
if [ "$remote2" != "" ] if [ "$remote2" != "" ]
then then
cd $LXR_REPO_DIR cd $LXR_REPO_DIR
git remote add other2 $remote2 git remote add other2 $remote2
git fetch other2 git fetch --tags other2
fi fi
cd $ELIXIR_INSTALL cd $ELIXIR_INSTALL
./update.py ./update.py $ELIXIR_THREADS
# The above takes so much time on the first run that it's worth running a new update # The above takes so much time on the first run that it's worth running a new update