diff options
Diffstat (limited to 'scripts/dev/deploy.sh')
| -rwxr-xr-x | scripts/dev/deploy.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/dev/deploy.sh b/scripts/dev/deploy.sh index b8e4640..9ade49d 100755 --- a/scripts/dev/deploy.sh +++ b/scripts/dev/deploy.sh @@ -56,6 +56,10 @@ if FORCE_BUILD=$(date +%s) cargo build --workspace --release --quiet > /dev/null if cargo run --manifest-path tools/build_helper/Cargo.toml --quiet --bin exporter release > /dev/null 2>&1; then # Copy compile_info.rs.template to compile_info.rs after successful export cp -f templates/compile_info.rs.template src/data/compile_info.rs + # Run jvn if available + if command -v jvn &> /dev/null; then + jvn -v --no-banner -c + fi fi fi |