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.

Sign up for GitHub

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

Jump to bottom

tool_chain: cleanup #1517

Closed
cproc opened this issue May 13, 2015 · 1 comment
Closed

tool_chain: cleanup #1517

cproc opened this issue May 13, 2015 · 1 comment
Assignees
@cproc
Labels
cleanup fixed

Comments

@cproc
Copy link
Member

cproc commented May 13, 2015

No description provided.

@cproc cproc added the cleanup label May 13, 2015
@cproc cproc self-assigned this May 13, 2015
cproc added a commit to cproc/genode that referenced this issue May 13, 2015
@cproc
tool_chain: cleanup
4825701 
Fixes genodelabs#1517
@cproc cproc added the fixed label May 13, 2015
@cproc cproc mentioned this issue May 13, 2015
Closed
cproc added a commit to cproc/genode that referenced this issue May 13, 2015
@cproc
tool_chain: cleanup
49ed3e1 
Fixes genodelabs#1517
cproc added a commit that referenced this issue May 13, 2015
@cproc @chelmuth
tool_chain: cleanup
87f9b63 
Fixes #1517
cproc added a commit to cproc/genode that referenced this issue May 13, 2015
@cproc
fixup "tool_chain: cleanup"
3823029 
Issue genodelabs#1517
@cproc
Copy link
Member Author

cproc commented May 13, 2015

Fixup commit 3823029 removes the non-functional 'install' command from the help output of the 'tool_chain' script.

cproc added a commit that referenced this issue May 13, 2015
@cproc @chelmuth
fixup "tool_chain: cleanup"
d46b960 
Issue #1517
cproc added a commit that referenced this issue May 20, 2015
@cproc @chelmuth
tool_chain: cleanup
fa9246e 
Fixes #1517
@cproc cproc closed this as completed in 2706e4c May 26, 2015
tomga pushed a commit to tomga/genode that referenced this issue Feb 26, 2016
@cproc @tomga
tool_chain: cleanup
fdab5a5 
Fixes genodelabs#1517
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@cproc cproc

Labels
cleanup fixed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@cproc