diff --git a/scripts/ci/run-jenkins.sh b/scripts/ci/run-jenkins.sh index e5feb996358..2ffdf82184e 100755 --- a/scripts/ci/run-jenkins.sh +++ b/scripts/ci/run-jenkins.sh @@ -31,7 +31,7 @@ cp tmp-bin/* usr64/bin/ rm -rf tmp-bin2 mkdir tmp-bin2 -cp usr32/bin/llvm-config tmp-bin2 +cp usr32/bin/{llc,opt,llvm-dis,llvm-config} tmp-bin2 rm usr32/bin/* cp tmp-bin2/* usr32/bin/ # Don't need 32 bit binaries