Skip to content

Small fixes for Makefile#3441

Merged
cwgoes merged 1 commit intodevelopfrom
alessio/makefile-subst-fix
Jan 30, 2019
Merged

Small fixes for Makefile#3441
cwgoes merged 1 commit intodevelopfrom
alessio/makefile-subst-fix

Conversation

@alessio
Copy link
Copy Markdown
Contributor

@alessio alessio commented Jan 30, 2019

  • Remove --long from git describe. Appending commit info on tagged
    revisions is redundant.

  • $(subst v,,$(shell git describe --tags --long)) was removing any
    occurrence of 'v'. Rather we want to remove only the 'v' prefix
    from tags.

  • Linked to github-issue with discussion and accepted design OR link to spec that describes this work.

  • Wrote tests

  • Updated relevant documentation (docs/)

  • Added entries in PENDING.md with issue #

  • rereviewed Files changed in the github PR explorer


For Admin Use:

  • Added appropriate labels to PR (ex. wip, ready-for-review, docs)
  • Reviewers Assigned
  • Squashed all commits, uses message "Merge pull request #XYZ: [title]" (coding standards)

- Remove --long from git describe. Appending commit info on tagged
  revisions is redundant.
- $(subst v,,$(shell git describe --tags --long)) was removing any
  occurrence of 'v'. Rather we want to remove only the 'v' prefix
  from tags.
@codecov
Copy link
Copy Markdown

codecov bot commented Jan 30, 2019

Codecov Report

Merging #3441 into develop will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff            @@
##           develop    #3441   +/-   ##
========================================
  Coverage    59.39%   59.39%           
========================================
  Files          135      135           
  Lines         9979     9979           
========================================
  Hits          5927     5927           
  Misses        3680     3680           
  Partials       372      372

@cwgoes cwgoes merged commit 24876aa into develop Jan 30, 2019
@cwgoes cwgoes deleted the alessio/makefile-subst-fix branch January 30, 2019 05:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants