From c018f1425e954150d55cca3761c3365af27c93a2 Mon Sep 17 00:00:00 2001
From: Christian Heinrich <franz-christian.heinrich@inria.fr>
Date: Thu, 19 May 2016 20:13:44 +0200
Subject: [PATCH] [CMAKE] Add src/instr/instr_smpi.h to package

---
 tools/cmake/DefinePackages.cmake | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 8046f853dc..e28b2f3fab 100644
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -507,6 +507,7 @@ set(TRACING_SRC
   src/instr/instr_paje_types.cpp
   src/instr/instr_paje_values.cpp
   src/instr/instr_private.h
+  src/instr/instr_smpi.h
   src/instr/instr_resource_utilization.cpp
   src/instr/instr_trace.cpp
   )
-- 
2.20.1