Skip to content

Commit

Permalink
Merge pull request #5623 from kit-ty-kate/check-release-binaries
Browse files Browse the repository at this point in the history
Check that all the binaries are running on their own hosts before copying them
  • Loading branch information
rjbou authored Dec 12, 2023
2 parents 91b8684 + 388d115 commit a1cdd7c
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions release/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -116,6 +116,7 @@ host: $(OUTDIR)/opam-full-$(VERSION).tar.gz build/$(HOST).env
)
cp build/opam-full-$(VERSION)/opam $(OUTDIR)/opam-$(VERSION)-$(HOST)
strip $(OUTDIR)/opam-$(VERSION)-$(HOST)
$(OUTDIR)/opam-$(VERSION)-$(HOST) --version
rm -rf build/opam-full-$(VERSION)

# Containerised builds
Expand Down

0 comments on commit a1cdd7c

Please sign in to comment.