tree 1e7252c1d81bcfe1d0fec2731447df0026ffb038
parent 42d195acc13c21c6af34bc2e6746b4c541bfd684
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1393495950 +0100
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1394782862 +0100

compat.sh: use file output (prep. for valgrind)