Commit b3e7d645 authored by Daniel García Moreno's avatar Daniel García Moreno

Update release script to manage github vendors

parent 45288d6b
......@@ -20,15 +20,8 @@ cp $DIST
cp -rf scripts $DIST
# cargo vendor
cargo vendor
mkdir $DIST/.cargo
cat <<EOF > $DIST/.cargo/config
replace-with = "vendored-sources"
directory = "vendor"
cargo vendor | sed 's/^directory = ".*"/directory = "vendor"/g' > $DIST/.cargo/config
cp -rf vendor $DIST/
# packaging
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment