From 726ec77becb3affbc5a5c872bea56c540cdb6e8c Mon Sep 17 00:00:00 2001
From: gcontini <1121667+gcontini@users.noreply.github.com>
Date: 周六, 07 9月 2019 22:13:32 +0800
Subject: [PATCH] Merge branch 'master' of https://github.com/open-license-manager/open-license-manager.git
---
src/tools/base_lib/CMakeLists.txt | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/src/tools/base_lib/CMakeLists.txt b/src/tools/base_lib/CMakeLists.txt
index dd1df79..009056a 100644
--- a/src/tools/base_lib/CMakeLists.txt
+++ b/src/tools/base_lib/CMakeLists.txt
@@ -17,3 +17,5 @@
tools_base
${EXTERNAL_LIBS}
)
+
+install(TARGETS tools_base ARCHIVE DESTINATION lib)
--
Gitblit v1.9.1