Install xargo once (#4753)

2019-06-20 16:49:33 -07:00
parent ace98bba08
commit 4069ef2e02
2 changed files with 13 additions and 9 deletions
--- a/sdk/bpf/scripts/install.sh
+++ b/sdk/bpf/scripts/install.sh
@ -22,6 +22,12 @@ download() {
  wget "${args[@]}"
 }

+# Install xargo
+if [[ ! -r xargo.md ]]; then
+  cargo install xargo
+  xargo --version > xargo.md 2>&1
+fi
+
 # Install Criterion
 version=v2.3.2
 if [[ ! -r criterion-$machine-$version.md ]]; then