diff options
Diffstat (limited to 'embedserv/source')
| -rwxr-xr-x | embedserv/source/embed/makefile.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/embedserv/source/embed/makefile.mk b/embedserv/source/embed/makefile.mk index a531858bcf22..0c2415987daa 100755 --- a/embedserv/source/embed/makefile.mk +++ b/embedserv/source/embed/makefile.mk @@ -61,6 +61,7 @@ SLOFILES = \ EXCEPTIONSFILES= \ $(SLO)$/register.obj \ + $(SLO)$/servprov.obj \ $(SLO)$/docholder.obj \ $(SLO)$/ed_ipersiststr.obj \ $(SLO)$/ed_idataobj.obj \ |