--- layout: fc_discuss_archives title: Message 73 from Frama-C-discuss on March 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Jessie subprocess failed



Hello, 

Le mar 24 mar 2009 16:47:22 CET,
"Hollas Boris (CR/AEY1)" <Boris.Hollas at de.bosch.com> a ?crit :

> why -simplify [...] why/swap.why
> Fatal error: exception Sys_error("File exists")
> make: *** [simplify/swap_why.sx] Error 2

I'm far from being a cygwin expert, but the lines above seem to
indicate that why couldn't rename some file because the destination
already exists. What is the content of your swap.jessie/simplify
directory?

If you have not edited the generated files by hand, you can safely
remove the entire swap.jessie/simplify directory.

Best regards,
-- 
Virgile Prevosto
Ing?nieur-Chercheur, CEA, LIST
Laboratoire de S?ret? des Logiciels
+33/0 1 69 08 71 83