From 95f6b03528220e3c0063859e19d79906c7c2c881 Mon Sep 17 00:00:00 2001 From: Navarrop Date: Wed, 26 Oct 2011 16:36:46 +0200 Subject: [PATCH] Add the include into EXTRA DIST package. --- buildtools/Cmake/DefinePackages.cmake | 1 + 1 file changed, 1 insertion(+) diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake index 0a03012686..b3b8e898d1 100644 --- a/buildtools/Cmake/DefinePackages.cmake +++ b/buildtools/Cmake/DefinePackages.cmake @@ -54,6 +54,7 @@ set(EXTRA_DIST src/include/surf/trace_mgr.h src/include/surf/surf.h src/include/surf/surfxml_parse_private.h + src/include/surf/surfxml_parse_values.h src/include/surf/random_mgr.h src/include/surf/surf_resource_lmm.h src/include/xbt/wine_dbghelp.h -- 2.20.1