diff options
author | Jan-Simon Moeller <jsmoeller@linuxfoundation.org> | 2018-07-19 13:08:23 +0000 |
---|---|---|
committer | Jan-Simon Moeller <jsmoeller@linuxfoundation.org> | 2018-07-19 13:08:23 +0000 |
commit | e4222ca8da3b02afca5625fa2cef6832aa8ce90e (patch) | |
tree | 12c17f502e37b6742ead94e2d5bba07822300328 /CMakeLists.txt | |
parent | 67f414f67ee22ddf40003d1be3fa1d0cb13deb8f (diff) |
Revert "Add policy table generated by ZIPC for EXAMPLE"
This reverts commit 67f414f67ee22ddf40003d1be3fa1d0cb13deb8f.
Change-Id: I8489ed8e7789590ae585807108c64539a0ab3cf2
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 1 |
1 files changed, 0 insertions, 1 deletions
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) |