#!/usr/bin/env bash # Regenerates every docs/output/pk-*.txt file in this repository. # # Timings and instants differ between runs; nothing else should. source "$(dirname "${BASH_SOURCE[0]}")/lib.sh" cd "$MODULE_DIR" mvn -B -q compile for script in ceremony counter user-verification origin attestation duplicate bootstrap step-up ott-fallback jdbc filters test-run; do echo ">>> scripts/$script.sh" "./scripts/$script.sh" > /dev/null done stop_app ls -la "$OUTPUT_DIR"/pk-*.txt