--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on January 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Lab installation problem



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