Browse Source

Simple (re-)running bash script

refactor-mempool
Roman Zeyde 7 years ago
parent
commit
526239224a
No known key found for this signature in database GPG Key ID: 87CAE5FA46917CBB
  1. 12
      scripts/run.sh

12
scripts/run.sh

@ -0,0 +1,12 @@
#!/bin/bash
set -eu
T=5
while :
do
cargo fmt
cargo check --release
cargo run --release -- $*
echo "Restarting in $T seconds..."
sleep $T
done
Loading…
Cancel
Save