~nickbp/kapiti

kapiti/update-specs.sh -rwxr-xr-x 689 bytes
4697278fNick Parker Give some files better names (http=>fetcher, then downloader=>updater to avoid confusion with fetcher) 2 months ago
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
#!/bin/bash

# Updates the DNS type specs in dns-specs/* and generated code in src/specs/*.
# This is done as an offline process (separate from the main build) to avoid problems with tooling, such as:
# - Cargo: Requires that generated artifacts go into OUT_DIR
# - rust-analyzer and RLS: Neither follows OUT_DIR at all
# - rust-analyzer: Gets confused by code mtimes getting updated during rebuild/analysis, leading to infinite rebuilds etc
# So we just keep the generated artifacts in source control, and update them when needed with this script.

SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
cd $SCRIPT_DIR

cargo run --example update_specs -- --fetch