diff --git a/jenkins.sh b/jenkins.sh new file mode 100644 index 000000000..97cf5b212 --- /dev/null +++ b/jenkins.sh @@ -0,0 +1,2 @@ +export PATH="$HOME/.cargo/bin:$PATH" +./all.sh untar unstage fetch build stage tar publish