diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-03-20 14:16:49 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-03-20 14:16:49 +0800 |
| commit | 6b22f7b7694fce530f84ba94c65c057450cca626 (patch) | |
| tree | a5a43e0c7447852c25e1ba63a2830528ba82548c /scripts/dev/dev_deploy.sh | |
| parent | f94e23084aa7876d7d6afd8a780a074d84a0007c (diff) | |
Run jvn after successful export in deploy scripts
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 |
