diff --git a/update.sh b/update.sh index ba2358b587..4e7a5cf74a 100755 --- a/update.sh +++ b/update.sh @@ -124,7 +124,7 @@ echo "[Buildlog] Time to run build_parameters.py: $MPARAMS_TIME seconds" echo "[Buildlog] Starting to build the wiki at $(date '+%Y-%m-%d-%H-%M-%S')" # python update.py --clean --parallel 4 # Build without versioning for parameters. It is better for editing wiki. -python3 update.py --destdir /var/sites/wiki/web --clean --paramversioning --parallel 4 --enablebackups # Enables parameters versioning and backups, should be used only on the wiki server +python3 update.py --destdir /var/sites/wiki/web --clean --paramversioning --parallel 4 --enablebackups --verbose # Enables parameters versioning and backups, should be used only on the wiki server END_BUILD_WIKI=$(date +%s)