Correction: la suppression du fichier préprocessé en cas d'erreur ne peut avoir lieu que si le résultat du préprocesseur est un fichier binaire "arbre de syntaxe" (typiquement produit par camlp4), sinon l'affichage du message d'erreur se plante.
Correction: la suppression du fichier préprocessé en cas d'erreur ne peut
avoir lieu que si le résultat du préprocesseur est un fichier binaire
"arbre de syntaxe" (typiquement produit par camlp4), sinon l'affichage
du message d'erreur se plante.


git-svn-id: e7e61699ce1738538ffebb75374fbea0924bc775@3817 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

msprotz/ocaml,msprotz/ocaml,yunxing/ocaml,eliberis/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,yunxing/ocaml,eliberis/ocaml,yunxing/ocaml,eliberis/ocaml,eliberis/ocaml,yallop/camlp4,yunxing/ocaml,hhugo/camlp4,msprotz/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,yunxing/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,chambart/camlp4