diff options
Diffstat (limited to 'builder/docker/run.sh')
| -rwxr-xr-x | builder/docker/run.sh | 19 |
1 files changed, 15 insertions, 4 deletions
diff --git a/builder/docker/run.sh b/builder/docker/run.sh index 8b8d4a2..b4cd30c 100755 --- a/builder/docker/run.sh +++ b/builder/docker/run.sh @@ -1,10 +1,21 @@ #!/bin/bash set -exuo pipefail -echo "----SNIP----"; echo >&2 "----SNIP----"; +for crate in "$@" +do + echo > Cargo.toml " +[package] +name = "\""______"\"" +version = "\""0.0.0"\"" -rustup show -time cargo check --locked --message-format=json +[lib] +path = "\""/dev/null"\"" + +[dependencies] +$crate +" + +cargo fetch echo "----SNIP----"; echo >&2 "----SNIP----"; @@ -20,4 +31,4 @@ time cargo check --locked --message-format=json echo "----SNIP----"; echo >&2 "----SNIP----"; -cargo +stable clippy +done |