v0.0-383-g0b0011b: PR #296: Fix centos 6/7 build.
Change devtoolset for centos 6 and 7 for compilation to work. (to fix #285 )
Signed-off-by: Henner Zeller <[email protected]>
GitHub PR https://github.com/google/verible/pull/296
Copybara import of the project:
- e3bf1292490c8b2475fdff051eaa5ab500b37ad3 (testig) by Henner Zeller <[email protected]>
- 5da6e46a7c4f4c8da1f85f3c1a8dd64c516a3637 ... more references to devtoolset. by Henner Zeller <[email protected]>
Closes #296
fixes #285
PiperOrigin-RevId: 310616568