1
1
Jeff Squyres ede9fc17b0 gen-mpi-sizeof.pl: don't generate sub for headers
We only need the dummy subroutine when we're generating the body of a
file -- not when we're generating headers.
2015-08-20 14:24:45 -07:00
..
2015-06-23 20:59:57 -07:00
2015-08-10 15:54:36 -06:00
2015-06-23 20:59:57 -07:00