X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=samples%2FMapLinearizabilityTest%2FCMakeLists.txt;h=62e00ce41d882ee03222379593e846f9b3a39aa3;hb=ebd740423cce85a1d1049f637d4e65b7d8465717;hp=e7774af78111cddce0864749b38869bd1238bc2c;hpb=b22562ec3d5ac59c3b3c5359592e9c37e0b16738;p=junction.git

diff --git a/samples/MapLinearizabilityTest/CMakeLists.txt b/samples/MapLinearizabilityTest/CMakeLists.txt
index e7774af..62e00ce 100644
--- a/samples/MapLinearizabilityTest/CMakeLists.txt
+++ b/samples/MapLinearizabilityTest/CMakeLists.txt
@@ -7,4 +7,5 @@ if(CMAKE_SOURCE_DIR STREQUAL CMAKE_CURRENT_SOURCE_DIR)
     project(${SAMPLE_NAME})
 endif()    
 
+set(JUNCTION_USERCONFIG "junction_userconfig.h.in" CACHE STRING "Custom config for ${SAMPLE_NAME}")
 include(../AddSample.cmake)