diff options
Diffstat (limited to 'mpi/generic/distfiles')
| -rw-r--r-- | mpi/generic/distfiles | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mpi/generic/distfiles b/mpi/generic/distfiles index 0bf4600fb..649e829b7 100644 --- a/mpi/generic/distfiles +++ b/mpi/generic/distfiles @@ -6,4 +6,5 @@ mpih-lshift.c mpih-rshift.c mpih-sub1.c udiv-w-sdiv.c +mpi-asm-defs.h |