Skip to content

/ mozjs

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

Fix warning in build.rs #46

Merged
merged 1 commit into from Jun 20, 2015
Merged

Fix warning in build.rs #46

merged 1 commit into from Jun 20, 2015

Conversation

@michaelwu
Copy link
Contributor

michaelwu commented Jun 20, 2015

No description provided.

@michaelwu
Fix warning in build.rs
Loading status checks…
d5a9111
@mbrubeck
Copy link
Contributor

mbrubeck commented Jun 20, 2015

@bors-servo r+
@bors-servo
Copy link
Contributor

bors-servo commented Jun 20, 2015

📌 Commit d5a9111 has been approved by mbrubeck
@bors-servo
Copy link
Contributor

bors-servo commented Jun 20, 2015

⌛ Testing commit d5a9111 with merge 9cc1ae1...
bors-servo pushed a commit that referenced this pull request Jun 20, 2015
bors-servo
Auto merge of #46 - michaelwu:fix-warning, r=mbrubeck
Loading status checks…
9cc1ae1 
Fix warning in build.rs
@bors-servo
Copy link
Contributor

bors-servo commented Jun 20, 2015

💔 Test failed - cargo-linux
@mbrubeck
Copy link
Contributor

mbrubeck commented Jun 20, 2015

@bors-servo retry
@bors-servo
Copy link
Contributor

bors-servo commented Jun 20, 2015

⌛ Testing commit d5a9111 with merge 8f5dc35...
bors-servo pushed a commit that referenced this pull request Jun 20, 2015
bors-servo
Auto merge of #46 - michaelwu:fix-warning, r=mbrubeck
Loading status checks…
8f5dc35 
Fix warning in build.rs
@bors-servo
Copy link
Contributor

bors-servo commented Jun 20, 2015

☀️ Test successful - cargo-linux, cargo-mac
@bors-servo bors-servo merged commit d5a9111 into servo:master Jun 20, 2015
0 of 2 checks passed
0 of 2 checks passed
continuous-integration/appveyor AppVeyor build failed
Details
homu Testing commit d5a9111 with merge 8f5dc35...
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

3 participants
@michaelwu @mbrubeck @bors-servo
You can’t perform that action at this time.