include src/mc/inspect/mc_unw_vmread.cpp
include src/mc/mc_api.cpp
include src/mc/mc_api.hpp
+include src/mc/udpor_global.cpp
+include src/mc/udpor_global.hpp
include src/mc/mc_base.cpp
include src/mc/mc_base.h
include src/mc/mc_client_api.cpp
include src/mc/sosp/Snapshot.cpp
include src/mc/sosp/Snapshot.hpp
include src/mc/sosp/Snapshot_test.cpp
-include src/mc/udpor_global.hpp
include src/msg/msg_comm.cpp
include src/msg/msg_global.cpp
include src/msg/msg_legacy.cpp
