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

Use quoted arguments in cmake if #1464

Merged
merged 1 commit into from
Nov 15, 2023
Merged

Use quoted arguments in cmake if #1464

merged 1 commit into from
Nov 15, 2023

Conversation

MarcelKoch
Copy link
Member

This PR adds quotes around the arguments to the if-clauses in the ginkgo compiler check. Otherwise, if one of the arguments is empty, it leads to cmake errors.

@MarcelKoch MarcelKoch requested a review from a team November 15, 2023 08:19
@MarcelKoch MarcelKoch self-assigned this Nov 15, 2023
@ginkgo-bot ginkgo-bot added the reg:build This is related to the build system. label Nov 15, 2023
cmake/GinkgoConfig.cmake.in Outdated Show resolved Hide resolved
@upsj upsj added the 1:ST:ready-to-merge This PR is ready to merge. label Nov 15, 2023
Co-authored-by: Yu-Hsiang M. Tsai <[email protected]>
@upsj upsj added the 1:ST:no-changelog-entry Skip the wiki check for changelog update label Nov 15, 2023
@upsj upsj merged commit 04f8698 into develop Nov 15, 2023
10 of 15 checks passed
@upsj upsj deleted the fix-compiler-check branch November 15, 2023 23:34
Copy link

sonarcloud bot commented Nov 16, 2023

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information

warning The version of Java (11.0.3) you have used to run this analysis is deprecated and we will stop accepting it soon. Please update to at least Java 17.
Read more here

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
1:ST:no-changelog-entry Skip the wiki check for changelog update 1:ST:ready-to-merge This PR is ready to merge. reg:build This is related to the build system.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants