-
Gregor Michalicek authored
The option -parallel has unwanted side effects on some systems as it enables optimizations that produce wrong results on such systems.
a3323a4d
The option -parallel has unwanted side effects on some systems as it enables optimizations that produce wrong results on such systems.