--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on January 2011 ---
Hello, we have Frama-C/Jessie Boron installed from source (using make install) in a computer lab. Why stores gwhy.cache in /tmp with the the first user to start Jessie as owner. Any subsequent user can't use Jessie because he doesn't own gwhy.cache. What can be done about this? -- Regards, Boris