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

dist: travis: add gdb to travis #5165

Merged
merged 1 commit into from
Mar 24, 2016
Merged

Conversation

cgundogan
Copy link
Member

see #5160

@cgundogan cgundogan added Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors) CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR Area: CI Area: Continuous Integration of RIOT components labels Mar 24, 2016
@kaspar030
Copy link
Contributor

ACK (when travis is happy... :) )

@cgundogan cgundogan merged commit 2f9f99e into RIOT-OS:master Mar 24, 2016
@cgundogan cgundogan deleted the pr/travis/gdb branch March 24, 2016 09:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: CI Area: Continuous Integration of RIOT components CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants