Improved workaround for Centos 8 failure (follow-on to PR #3030). (#3193)

* Rollback of PR #3030 (Working around Centos 8 failure).

* Adding `-DCMAKE_BUILD_TYPE=Release`

* Improving existing workaround (undoing the originally intended rollback).

* Fixing minor documentation bug.
This commit is contained in:
Ralf W. Grosse-Kunstleve
2021-08-12 13:21:49 -07:00
committed by GitHub
parent 0be2ea065e
commit 7d3b05715b
2 changed files with 4 additions and 4 deletions

View File

@@ -594,13 +594,13 @@ jobs:
- name: VAR_BUILD_TYPE 7
if: matrix.centos == 7
run: echo Release > VAR_BUILD_TYPE
run: echo MinSizeRel > VAR_BUILD_TYPE
# Using Debug to avoid segfault that appeared around 2021-06-04,
# Using Release to avoid segfault that appeared around 2021-06-04,
# apparently when the gcc version changed from 8.3 to 8.4.
- name: VAR_BUILD_TYPE 8
if: matrix.centos == 8
run: echo Debug > VAR_BUILD_TYPE
run: echo Release > VAR_BUILD_TYPE
- name: Configure
shell: bash