diff options
Diffstat (limited to 'export.sh')
| -rwxr-xr-x | export.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/export.sh b/export.sh deleted file mode 100755 index ce1a7bd..0000000 --- a/export.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/bash - -# Require : Cargo (Rust) - -# Build -if FORCE_BUILD=$(date +%s) cargo build --workspace --release; then - # Export - if cargo run --manifest-path crates/build_helper/Cargo.toml --bin exporter; then - # Delete compile_info.rs after successful export - rm -f src/data/compile_info.rs - fi -fi |
