From: Pekka J. <pek...@tu...> - 2018-12-28 08:47:58
|
Hi Noah, > I would think a better default location for the pocl cache (linux) would > be derived from $TMPDIR rather than $HOME. It used to be under /tmp, but then someone had an issue with a multi-node NFS-mounted system with CPUs with incompatible ISA getting the same binaries, IIRC. I'm really not sure what would be the best overall default for it . A /tmp/XXX dir that is unique per node? This might be related: https://github.com/pocl/pocl/issues/430 BR, -- Pekka |