diff options
Diffstat (limited to 'lib/mpi/Makefile')
| -rw-r--r-- | lib/mpi/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/mpi/Makefile b/lib/mpi/Makefile index d5874a7f5ff9..43b8fce14079 100644 --- a/lib/mpi/Makefile +++ b/lib/mpi/Makefile @@ -16,6 +16,7 @@ mpi-y = \ mpicoder.o \ mpi-bit.o \ mpi-cmp.o \ + mpi-sub-ui.o \ mpih-cmp.o \ mpih-div.o \ mpih-mul.o \ |