Skip to content

Conversation

@iguessthislldo
Copy link
Member

Try to fix PR jenkins when running jenkins_packages.sh by adding a apt-get update.

E: Failed to fetch http://security.debian.org/debian-security/pool/updates/main/g/ghostscript/libgs9-common_9.25~dfsg-0+deb9u1_all.deb 404 Not Found [IP: 151.101.44.204 80]
E: Failed to fetch http://security.debian.org/debian-security/pool/updates/main/g/ghostscript/libgs9_9.25~dfsg-0+deb9u1_amd64.deb 404 Not Found [IP: 151.101.44.204 80]
E: Aborting install.

Also fail script automatically by adding set -e.

@iguessthislldo
Copy link
Member Author

@mitza-oci Looks like Azure is having some kind of internal error, but apt-get update fixed the jenkins build.

@iguessthislldo iguessthislldo changed the title Try to make jenkins_packages.sh more robust Fix Jenkins PR build by adding "apt-get update" to jenkins_packages.sh Dec 13, 2018
@mitza-oci mitza-oci self-requested a review December 14, 2018 19:39
@mitza-oci mitza-oci merged commit c455a03 into OpenDDS:master Dec 14, 2018
@iguessthislldo iguessthislldo deleted the igtd/jenkins branch December 19, 2018 00:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants