tree d39dc08bc273df0e778f8b1f07e107c38acb7bdd
parent 2ee8d24ca273487caa0b9b75e8791db75a77f51e
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1423733934 +0000
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1423733934 +0000

Remove work-around for alleged compiler bug

It turns out the problem was with the way the reporter was invoking its
toolchain, not the toolchain itself.