tree e80492e37310ddb4d3bedf933bfa50086e875d54
parent 4cba1a737d9865be8602dc49fdc663a2d86e8268
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1431364899 +0200
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1431365905 +0200

Fix option names in benchmark.c