Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

  • Mikaël Salson's avatar
    Makefile: Subtle mix of double quotes. · 76418308
    Mikaël Salson authored
    In case of spaces and parentheses, the path must be protected for mktemp but also
    for the --xml-file option. Hence the double double quotes.
    
    The outer double quotes must not be escaped (otherwise double quotes are passed to valgrind
    which is not good)
    76418308
Makefile 1.64 KB