From 1098f92d35a6aa473e70a6f2e28908334fbaf716 Mon Sep 17 00:00:00 2001
From: Jan Willamowius <jan@willamowius.de>
Date: 周四, 18 4月 2019 00:35:32 +0800
Subject: [PATCH] don't generate new key, if key already exists

---
 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