diff options
Diffstat (limited to 'manager/bin/Makefile')
| -rw-r--r-- | manager/bin/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manager/bin/Makefile b/manager/bin/Makefile index 05c14d7..994c384 100644 --- a/manager/bin/Makefile +++ b/manager/bin/Makefile @@ -6,7 +6,7 @@ DISTRIO_COMMON := ../../common DISTRIO_IO := ../../io LDFLAGS += -L$(DISTRIO_COMMON) -ldistrio_common -L$(DISTRIO_IO) -ldistrio_io \ - -lACE -lTAO -lTAO_AnyTypeCode -lTAO_CosNaming -lTAO_PortableServer + -lrt -lACE -lTAO -lTAO_AnyTypeCode -lTAO_CosNaming -lTAO_PortableServer CFLAGS += -fPIC -I$(DISTRIO_COMMON) -I$(DISTRIO_IO) CXXFLAGS += $(CFLAGS) |