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

fix option order of make servo #1539

Merged
merged 1 commit into from Jan 24, 2014
Merged

fix option order of make servo #1539

merged 1 commit into from Jan 24, 2014

Conversation

@aydinkim
Copy link

aydinkim commented Jan 23, 2014

fix android build error on certain environment

aydin.kim
@bors-servo

This comment has been minimized.

Copy link
Contributor

bors-servo commented on ea24d87 Jan 23, 2014

saw approval from metajack
at aydinkim@ea24d87

This comment has been minimized.

Copy link
Contributor

bors-servo replied Jan 23, 2014

merging aydinkim/servo/misc = ea24d87 into auto

This comment has been minimized.

Copy link
Contributor

bors-servo replied Jan 23, 2014

aydinkim/servo/misc = ea24d87 merged ok, testing candidate = d6126a0

This comment has been minimized.

Copy link
Contributor

bors-servo replied Jan 23, 2014

This comment has been minimized.

Copy link
Contributor

bors-servo replied Jan 23, 2014

saw approval from metajack
at aydinkim@ea24d87

This comment has been minimized.

Copy link
Contributor

bors-servo replied Jan 24, 2014

saw approval from metajack
at aydinkim@ea24d87

This comment has been minimized.

Copy link
Contributor

bors-servo replied Jan 24, 2014

merging aydinkim/servo/misc = ea24d87 into auto

This comment has been minimized.

Copy link
Contributor

bors-servo replied Jan 24, 2014

aydinkim/servo/misc = ea24d87 merged ok, testing candidate = 6edb293

This comment has been minimized.

Copy link
Contributor

bors-servo replied Jan 24, 2014

fast-forwarding master to auto = 6edb293

bors-servo pushed a commit that referenced this pull request Jan 23, 2014
fix android build error on certain environment
@aydinkim
Copy link
Author

aydinkim commented Jan 23, 2014

@metajack I cannot understand why this is is happened. It looks failure in git clone. Do you have any idea?

bors-servo pushed a commit that referenced this pull request Jan 23, 2014
fix android build error on certain environment
bors-servo pushed a commit that referenced this pull request Jan 23, 2014
fix android build error on certain environment
@aydinkim
Copy link
Author

aydinkim commented Jan 23, 2014

23:09:21 INFO - configure: git: submodule update
23:09:22 INFO - fatal: Needed a single revision
23:09:22 INFO - Unable to find current revision in submodule path 'src/platform/android/servo-android-glue'

This was happened when last android port update. I think this is not the code problem.

bors-servo pushed a commit that referenced this pull request Jan 23, 2014
fix android build error on certain environment
bors-servo pushed a commit that referenced this pull request Jan 23, 2014
fix android build error on certain environment
bors-servo pushed a commit that referenced this pull request Jan 24, 2014
fix android build error on certain environment
@bors-servo bors-servo merged commit ea24d87 into servo:master Jan 24, 2014
1 check passed
1 check passed
default all tests passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.