diff options
Diffstat (limited to 'scripts/dev/dev_deploy.sh')
| -rwxr-xr-x | scripts/dev/dev_deploy.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/dev/dev_deploy.sh b/scripts/dev/dev_deploy.sh index d175cd1..4ec438b 100755 --- a/scripts/dev/dev_deploy.sh +++ b/scripts/dev/dev_deploy.sh @@ -11,5 +11,10 @@ if FORCE_BUILD=$(date +%M) cargo build --workspace; then if cargo run --manifest-path tools/build_helper/Cargo.toml --quiet --bin exporter debug; 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 |