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

Fix CMakeLists bug on Sofa.ini and installedSofa.ini creation #291

Merged
merged 2 commits into from
Jun 8, 2017

Conversation

epernod
Copy link
Contributor

@epernod epernod commented Jun 6, 2017

Same as PR #284 but without the unwanted merge commits

Small fix related to issue #114 .

Have tested the compilation without the flag SOFA_INSTALL_RESOURCES_FILES (which is set by default), Sofa.ini and installedSofa.ini, which are necessary for build and install, are well created.


This PR:

  • builds with SUCCESS for all platforms on the CI.
  • does not generate new warnings.
  • does not generate new unit test failures.
  • does not generate new scene test failures.
  • does not break API compatibility.
  • is more than 1 week old (or has fast-merge label).

Reviewers will merge only if all these checks are true.

@epernod epernod requested a review from guparan June 6, 2017 14:46
@guparan
Copy link
Contributor

guparan commented Jun 6, 2017

Thanks for the cleaning 😄
[ci-build]

@guparan guparan added pr: fast merge Minor change that can be merged without waiting for the 7 review days pr: fix Fix a bug labels Jun 6, 2017
@hugtalbot hugtalbot added the pr: status to review To notify reviewers to review this pull-request label Jun 7, 2017
@guparan guparan added this to the v17.06 milestone Jun 7, 2017
@guparan guparan merged commit f08ecf0 into sofa-framework:master Jun 8, 2017
@epernod epernod deleted the cmake_sofa_ini_fix branch September 20, 2019 15:12
@hugtalbot hugtalbot added pr: status ready Approved a pull-request, ready to be squashed and removed pr: status to review To notify reviewers to review this pull-request labels May 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pr: fast merge Minor change that can be merged without waiting for the 7 review days pr: fix Fix a bug pr: status ready Approved a pull-request, ready to be squashed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants