build: fix du commentaire dans menu.sh

This commit is contained in:
Nicolas Hordé 2020-09-19 20:31:41 +02:00
parent c9cfc04919
commit 41e07102c7
1 changed files with 3 additions and 3 deletions

View File

@ -83,9 +83,9 @@ else
fi
if [ "${CHOOSE}" != "" ]; then
echo "*** Application de la version ${CHOOSE}"
#dgit checkout $CHOOSE
#dgit clean -fd
#dgit reset --hard
git checkout $CHOOSE
git clean -fd
git reset --hard
./make.sh tool
fi
read