Jack Grigg daad2c2736 Check if OpenMP is available before using it

2017-11-29 17:28:44 +00:00

..

m4

Check if OpenMP is available before using it

2017-11-29 17:28:44 +00:00