From a247948177641d8b60acd3bd0e10238c1e78eddf Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Thu, 24 Apr 2014 14:32:21 +0200
Subject: [PATCH 1/1] Forgot to run distcheck after previous commit.

Register new files for dist.
---
 examples/msg/tracing/CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/examples/msg/tracing/CMakeLists.txt b/examples/msg/tracing/CMakeLists.txt
index 215a084f54..1da4a813f9 100644
--- a/examples/msg/tracing/CMakeLists.txt
+++ b/examples/msg/tracing/CMakeLists.txt
@@ -46,6 +46,8 @@ set(xml_files
   ${xml_files}
   ${CMAKE_CURRENT_SOURCE_DIR}/deployment.xml
   ${CMAKE_CURRENT_SOURCE_DIR}/platform.xml
+  ${CMAKE_CURRENT_SOURCE_DIR}/platform-as.xml
+  ${CMAKE_CURRENT_SOURCE_DIR}/platform-config.xml
   ${CMAKE_CURRENT_SOURCE_DIR}/procmig-deploy.xml
   PARENT_SCOPE
   )
-- 
2.20.1