Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add arm64 deb build to jenkins/build-linux.bash (fixes #3894) #3953

Closed
wants to merge 1 commit into from
Closed

Add arm64 deb build to jenkins/build-linux.bash (fixes #3894) #3953

wants to merge 1 commit into from

Conversation

janost
Copy link
Contributor

@janost janost commented Feb 4, 2017

Purpose

This change adds a DEB package build for the arm64 architecture. I'm not entirely sure if this change is enough for the apt repository to contain this build. If not, please let me know.

Testing

I tested running go run build.go -goarch arm64 deb on xenial amd64 with go 1.7.5 and it worked fine.

@calmh
Copy link
Member

calmh commented Feb 4, 2017

Did you test the resulting deb file?

@janost
Copy link
Contributor Author

janost commented Feb 4, 2017

@calmh Yes, of course. It seems to work fine on an Orange Pi PC2 running Armbian xenial beta.

@calmh
Copy link
Member

calmh commented Feb 4, 2017

@st-review merge it

jenkins: Add arm64 deb build

Skip-check: authors

@st-review
Copy link

👌 Merged as 81418d7. Thanks, @janost!

@st-review st-review closed this Feb 4, 2017
st-review pushed a commit that referenced this pull request Feb 4, 2017
Skip-check: authors

GitHub-Pull-Request: #3953
@janost janost deleted the add_arm64_deb_build branch February 4, 2017 16:13
@st-review st-review added the pr-merged Legacy label used in the past for pull requests merged to the main tree label Jan 15, 2018
@st-review st-review added the frozen-due-to-age Issues closed and untouched for a long time, together with being locked for discussion label Jul 15, 2018
@syncthing syncthing locked and limited conversation to collaborators Jul 15, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
frozen-due-to-age Issues closed and untouched for a long time, together with being locked for discussion pr-merged Legacy label used in the past for pull requests merged to the main tree
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants