Improve performance on Raspberry Pi (and maybe other Linux)#8801

Merged

hrydgard merged 1 commit intohrydgard:masterfrom unknownbrackets:tmpfs

Jun 4, 2016

+26-9

Commits on Jun 4, 2016

If possible, use /dev/shm instead of /tmp.
unknownbrackets
committed