diff options
Diffstat (limited to 'lib/freebl/Makefile')
| -rw-r--r-- | lib/freebl/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/freebl/Makefile b/lib/freebl/Makefile index 0b8c6f42f..767335730 100644 --- a/lib/freebl/Makefile +++ b/lib/freebl/Makefile @@ -659,7 +659,7 @@ INCLUDES += -Impi -Iecl -Iverified -Iverified/kremlin/include -Iverified/kremlin DEFINES += -DMP_API_COMPATIBLE -MPI_USERS = dh.c pqg.c dsa.c rsa.c ec.c +MPI_USERS = secmpi.c dh.c pqg.c dsa.c rsa.c ec.c MPI_OBJS = $(addprefix $(OBJDIR)/$(PROG_PREFIX), $(MPI_SRCS:.c=$(OBJ_SUFFIX))) MPI_OBJS += $(addprefix $(OBJDIR)/$(PROG_PREFIX), $(MPI_USERS:.c=$(OBJ_SUFFIX))) |