1
1
Rainer Keller 997a00c06f Correct "configure --help" output and amend the default setting if user
provides a wrong input value, like "runtime"
(which works for MPI, but not for OSHMEM)
2016-07-13 11:23:07 +02:00
..
2014-08-25 04:41:56 +00:00
2015-04-27 06:50:40 -07:00
2015-06-23 20:59:57 -07:00
2015-06-23 20:59:57 -07:00
2016-05-03 07:24:06 -07:00
2015-06-23 20:59:57 -07:00