update-nutools: support de l'option --devel

This commit is contained in:
Jephté Clain 2018-01-13 19:03:37 +04:00
parent f35e9e8560
commit bda961fc5b
1 changed files with 1 additions and 1 deletions

View File

@ -51,7 +51,7 @@ NOTE: si une erreur se produit, utiliser l'adresse privée, e.g.
fi fi
case "$1" in case "$1" in
-d|--d|--dev|--develop) develop=develop;; -d|--d|--dev|--devel|--develop) develop=develop;;
*) develop=;; *) develop=;;
esac esac