diff options
| author | Joris | 2022-09-04 11:30:17 +0200 |
|---|---|---|
| committer | Joris | 2022-09-04 11:30:17 +0200 |
| commit | d8e39e49d32502a39c1097e2a4ee9354f321220a (patch) | |
| tree | 113010bfb5b4483a1010a50aa595702c1e2ec683 /bin | |
| parent | 29e9883b2045f176dff533850e5fe861ac74db1d (diff) | |
Use run by default in dev-server instead of check
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/dev-server | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/dev-server b/bin/dev-server index 84363fb..0669d6d 100755 --- a/bin/dev-server +++ b/bin/dev-server @@ -2,7 +2,7 @@ set -euo pipefail cd $(dirname "$0")/.. -CMD=${1:-check} +CMD=${1:-run} RUST_LOG=budget=info cargo-watch \ --ignore README.md \ |