diff options
Diffstat (limited to 'third_party/rust/cty/ci')
| -rw-r--r-- | third_party/rust/cty/ci/install.sh | 7 | ||||
| -rw-r--r-- | third_party/rust/cty/ci/script.sh | 10 |
2 files changed, 17 insertions, 0 deletions
diff --git a/third_party/rust/cty/ci/install.sh b/third_party/rust/cty/ci/install.sh new file mode 100644 index 0000000000..58ed3c9e96 --- /dev/null +++ b/third_party/rust/cty/ci/install.sh @@ -0,0 +1,7 @@ +set -ex + +main() { + return +} + +main diff --git a/third_party/rust/cty/ci/script.sh b/third_party/rust/cty/ci/script.sh new file mode 100644 index 0000000000..46ac0c26bc --- /dev/null +++ b/third_party/rust/cty/ci/script.sh @@ -0,0 +1,10 @@ +set -ex + +main() { + for target in $(rustup target list | grep linux-gnu | cut -d' ' -f1); do + rustup target add $target || continue + cargo check --target $target + done +} + +main |