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

added the missing verbose=verbose to printout the command line correctly at #4711

merged 1 commit into from Jul 7, 2017


None yet
5 participants

LordGuilly commented Jul 5, 2017


  • Pull requests will not be accepted until the submitter has agreed to the contributer agreement.
    Done it with the online ide


This is a simple fix, it seems last time it was changed the verbose option went missing, and it masks others


READY (trivial fix for the build system)


If this PR changes any APIs or behaviors, give a short description of what API users should do when this PR is merged.


Related PRs

List related PRs against other branches:

branch PR
other_pr_production link
other_pr_master link


  • Tests
  • Documentation

Deploy notes

Notes regarding the deployment of this PR. These should note any
required changes in the build environment, tools, compilers, etc.

Steps to test or reproduce

Outline the steps to test or reproduce the PR here.


This comment has been minimized.


bulislaw commented Jul 6, 2017


This comment has been minimized.


theotherjimmy commented Jul 6, 2017

This part of the script is hit by Travis.

@adbridge adbridge merged commit e1bc3ef into ARMmbed:master Jul 7, 2017

3 checks passed

Cam-CI uvisor Build & Test Success
continuous-integration/jenkins/pr-head This commit looks good
continuous-integration/travis-ci/pr The Travis CI build passed

@sg- sg- removed the ready for merge label Jul 7, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment