diff options
Diffstat (limited to 'postprocess/Rdb_services.mk')
-rwxr-xr-x | postprocess/Rdb_services.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/postprocess/Rdb_services.mk b/postprocess/Rdb_services.mk index 8c56370aad25..83ce7dc3109e 100755 --- a/postprocess/Rdb_services.mk +++ b/postprocess/Rdb_services.mk @@ -109,6 +109,9 @@ $(eval $(call gb_Rdb_add_components,services,\ xmlscript/util/xmlscript \ xmlsecurity/util/xmlsecurity \ xmlsecurity/util/xsec_fw \ + $(if $(ENABLE_COINMP), \ + sccomp/source/solver/coinmpsolver \ + ) \ $(if $(ENABLE_LPSOLVE), \ sccomp/source/solver/solver \ ) \ |