-- Adding script to notify developer when introducing compilation warnings
  -- Fix on the CentOS log archiving / reporting
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>