# These are scripts run on the jenkins platform.
# See http://ci.inria.fr/gf2x
