summaryrefslogtreecommitdiffstats
path: root/CMakeLists.txt
diff options
context:
space:
mode:
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r--CMakeLists.txt1
1 files changed, 1 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 92ee691..b250542 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -82,6 +82,7 @@ set(LINK_LIBCXX OFF CACHE BOOL "Link against LLVMs libc++")
# Set name of PolicyManager and STM
set(PLUGIN_PM policy_manager)
set(USE_STM_NAME stub)
+#set(USE_STM_NAME zipc)
# Add STM
add_subdirectory(src/${PLUGIN_PM}/stm/${USE_STM_NAME}/src)