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

Fix 'make check' in out-of-tree builds #4041

Merged
merged 1 commit into from
May 29, 2020
Merged

Fix 'make check' in out-of-tree builds #4041

merged 1 commit into from
May 29, 2020

Conversation

fingolfin
Copy link
Member

No description provided.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 84.891% when pulling 3fca4e1 on fingolfin:mh/make-check into 8a0a129 on gap-system:master.

@ChrisJefferson ChrisJefferson merged commit 8d1685b into gap-system:master May 29, 2020
@fingolfin fingolfin deleted the mh/make-check branch May 29, 2020 11:00
@fingolfin
Copy link
Member Author

Backported to stable-4.11 in commit ac24f98

@PaulaHaehndel PaulaHaehndel self-assigned this Feb 16, 2021
@PaulaHaehndel PaulaHaehndel added the release notes: added PRs introducing changes that have since been mentioned in the release notes label Feb 16, 2021
@PaulaHaehndel PaulaHaehndel removed their assignment Feb 16, 2021
@PaulaHaehndel PaulaHaehndel changed the title buildsys: fix 'make check' in out-of-tree builds Fix 'make check' in out-of-tree builds Feb 17, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ChrisJefferson ChrisJefferson ChrisJefferson approved these changes

@olexandr-konovalov olexandr-konovalov Awaiting requested review from olexandr-konovalov

@wilfwilson wilfwilson Awaiting requested review from wilfwilson

Assignees
No one assigned
Labels
backport-to-4.11-DONE release notes: added PRs introducing changes that have since been mentioned in the release notes topic: build system
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@fingolfin @coveralls @ChrisJefferson @PaulaHaehndel