Not all environments support /dev/shm. It then crashes#42

toburn wants to merge 1 commit intoluinardi:masterluinardi/hypermapper:masterfrom

toburn:run-local-search-sequentially-when-number_of_cpus-is-onetoburn/hypermapper-1:run-local-search-sequentially-when-number_of_cpus-is-oneCopy head branch name to clipboard