PR #296: Fix centos 6/7 build. Change devtoolset for centos 6 and 7 for compilation to work. (to fix #285 )
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 <h.zeller@acm.org>

GitHub PR https://github.com/google/verible/pull/296

Copybara import of the project:

  - e3bf1292490c8b2475fdff051eaa5ab500b37ad3 (testig) by Henner Zeller <h.zeller@acm.org>
  - 5da6e46a7c4f4c8da1f85f3c1a8dd64c516a3637 ... more references to devtoolset. by Henner Zeller <h.zeller@acm.org>

Closes #296
fixes #285

PiperOrigin-RevId: 310616568

chipsalliance/verible,chipsalliance/verible,chipsalliance/verible,chipsalliance/verible,chipsalliance/verible