From 0ec4d68600b83d41d2e48ad35d18e2a00f234619 Mon Sep 17 00:00:00 2001
From: gcontini <1121667+gcontini@users.noreply.github.com>
Date: 周六, 21 9月 2019 01:34:22 +0800
Subject: [PATCH] Merge branch 'develop' of https://github.com/open-license-manager/open-license-manager into develop
---
src/CMakeLists.txt | 6 +-----
1 files changed, 1 insertions(+), 5 deletions(-)
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 29994bd..1fb9b67 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -1,8 +1,4 @@
-add_subdirectory("bootstrap")
add_subdirectory("library")
+add_subdirectory("tools")
-IF(Boost_FOUND)
- add_subdirectory("pc-identifier")
- add_subdirectory("license-generator")
-ENDIF(Boost_FOUND)
\ No newline at end of file
--
Gitblit v1.9.1