--- layout: fc_discuss_archives title: Message 73 from Frama-C-discuss on March 2009 ---
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