From e4222ca8da3b02afca5625fa2cef6832aa8ce90e Mon Sep 17 00:00:00 2001 From: Jan-Simon Moeller Date: Thu, 19 Jul 2018 13:08:23 +0000 Subject: Revert "Add policy table generated by ZIPC for EXAMPLE" This reverts commit 67f414f67ee22ddf40003d1be3fa1d0cb13deb8f. Change-Id: I8489ed8e7789590ae585807108c64539a0ab3cf2 --- CMakeLists.txt | 1 - 1 file changed, 1 deletion(-) (limited to 'CMakeLists.txt') diff --git a/CMakeLists.txt b/CMakeLists.txt index b250542..92ee691 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -82,7 +82,6 @@ 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) -- cgit 1.2.3-korg