...
 
Commits (2)
......@@ -85,6 +85,8 @@ cmd_remove() {
### Update Webis command from Git.
cmd_update() {
(
cd "$WEBIS_CMD_ROOT_PATH"
if git_repo_has_updates; then
logInfo "Starting update of the Webis command..."
cmd="git"
......@@ -136,6 +138,7 @@ cmd_update() {
else
logInfo "No update needed."
fi
)
}
### Update Webis command dependencies.
......