Explicitly disable git gpg signing
Otherwise building fails if the user has globally enabled gpg signing. Fixes #1384
This commit is contained in:
parent
34d63e4c1d
commit
c137418bde
2 changed files with 4 additions and 1 deletions
|
@ -10,7 +10,8 @@ git fetch
|
|||
git checkout -- .
|
||||
git checkout "$(rustc -V | cut -d' ' -f3 | tr -d '(')"
|
||||
|
||||
git -c user.name=Dummy -c user.email=dummy@example.com am ../patches/*-stdlib-*.patch
|
||||
git -c user.name=Dummy -c user.email=dummy@example.com -c commit.gpgSign=false \
|
||||
am ../patches/*-stdlib-*.patch
|
||||
|
||||
git apply - <<EOF
|
||||
diff --git a/library/alloc/Cargo.toml b/library/alloc/Cargo.toml
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue